June 20, 2007
S-C. Mu and R. S. Bird, Theory and applications of inverting functions as folds. In Science of Computer Programming Vol. 51 Special Issue for Mathematics of Program Construction 2002, pp. 87-116, 2003.
[GZipped Postscript]
[More ...]
- 0 Comments
Tags: Converse-of-a-Function Theorem, Program Derivation, Program Inversion.
S-C. Mu and R. S. Bird, Rebuilding a tree from its traversals: a case study of program inversion. In The First Asian Symposium on Programming Languages and Systems, LNCS 2895, pp. 265-282, Bejing, 2003.
[GZipped Postscript]
[More ...]
- 0 Comments
Tags: Converse-of-a-Function Theorem, Program Derivation, Program Inversion.
S-C. Mu, A Calculational Approach to Program Inversion. D.Phil Thesis. Oxford University Computing Laboratory. March 2003
[GZipped Postscript][PDF]
[More ...]
- 0 Comments
Tags: Converse-of-a-Function Theorem, Greedy Theorem, Program Derivation, Program Inversion, Thinning Theorem.
S-C. Mu and R. S. Bird, Inverting functions as folds. In Sixth International Conference on Mathematics of Program Construction, Dagstuhl, Germany, July 2002
[GZipped Postscript]
[More ...]
- 0 Comments
Tags: Converse-of-a-Function Theorem, Program Derivation, Program Inversion.
S-C. Mu and R. S. Bird, On building trees with minimum height, relationally. In First Asian Workshop on Programming Languages and Systems, Singapore, December 2000.
[GZipped Postscript]
[More ...]
- 0 Comments
Tags: Converse-of-a-Function Theorem, Program Derivation, Program Inversion.