| A Calculational Approach to Program Inversion (2003) | |||||||||||||
Abstract | |||||||||||||
| Many problems in computation can be specified in terms of computing the inverse of an easily constructed function. However, studies on how to derive an algorithm from a problem specification involving inverse functions are relatively rare. The aim of this thesis is to demonstrate, in an example-driven style, a number of techniques to do the job. The techniques are based on the framework of relational, algebraic program derivation. | |||||||||||||
Publication details | |||||||||||||
| |||||||||||||