Document Type
Technical Report
Publication Date
1992
Technical Report Number
WUCS-92-03
Abstract
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.
Recommended Citation
Chen, Wei, "Inversion Laws for Specifications and Recursive Procedures" Report Number: WUCS-92-03 (1992). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/515
COinS
Comments
Permanent URL: http://dx.doi.org/10.7936/K7RV0M1K