May 29, 2008
Z. Hu, S-C. Mu and M. Takeichi, A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation, Vol 21(1-2), pp 89-118, May 2008.
[PDF]
[More ...]
- 0 Comments
Tags: Bidirectional Updating, Program Inversion.
June 20, 2007
S-C. Mu, Z. Hu and M. Takeichi, Bidirectionalizing tree transformation languages: a case study. In JSSST Computer Software (コンピュータソフトウェア) Vol. 23(2), pp. 129-141, 2006.
[PDF]
[More ...]
- 0 Comments
Tags: Bidirectional Updating, HaXML.
R. S. Bird and S-C. Mu, Countdown: a case study in origami programming. In Journal of Functional Programming Vol. 15(5), pp. 679-702, 2005.
[GZipped Postscript]
[More ...]
- 0 Comments
Tags: Haskell, Program Derivation, Program Inversion, Thinning Theorem.
R. S. Bird and S-C. Mu, Inverting the Burrows-Wheeler transform. In Journal of Functional Programming Vol. 14(6) Special Issue on Functional Pearls, pp. 603-612, Novermber 2004.
[GZipped Postscript]
[More ...]
- 0 Comments
Tags: Burrows-Wheeler Transform, Program Derivation, Program Inversion.
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.