Technical Report Number
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.
Chen, Wei, "Inversion Laws for Specifications and Recursive Procedures" Report Number: WUCS-92-03 (1992). All Computer Science and Engineering Research.