Inversion Laws for Specifications and Recursive Procedures
Wei Chen · Open Scholarship Institutional Repository (Washington University in St. Louis) · 1992
In this paper, we continue the work on the formal approach to program inversion by presenting programming laws for specifying the inverse program according to the specification of its forward program, and for inverting recursive procedues. The formal establishment of these laws, once more, convinces us that program inversion has nice mathematical properties that can be used in formal program development. Some examples are included to illustrate the usage of the laws developed in this paper.