June 20, 2007
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.
R. S. Bird, J. Gibbons and S-C. Mu, Algebraic methods for optimisation problems. In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, LNCS 2297, pp. 281-307, January 2002.
[PDF]
[More ...]
- 0 Comments
Tags: Program Derivation, Program Inversion, Thinning Theorem.
R. S. Bird and S-C. Mu, Inverting the Burrows-Wheeler Transform. In ACM SIGPLAN 2001 Haskell Workshop, Firenze, Italy, September 2001.
Superseded by the extended version for Journal of Functional Programming.
[More ...]
- 0 Comments
Tags: Burrows-Wheeler Transform, 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.