Title

Inversion Laws for Specifications and Recursive Procedures

Authors

Wei Chen, Washington University in St Louis

Document Type

Technical Report

Publication Date

1992

Filename

WUCS-92-03.pdf

DOI:

10.7936/K7RV0M1K

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.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7RV0M1K

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