## Countdown: a case study in origami programming

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]

Skip to content
# Program Derivation

## Countdown: a case study in origami programming

## Inverting the Burrows-Wheeler transform

## Theory and applications of inverting functions as folds.

## Rebuilding a tree from its traversals: a case study of program inversion

## A Calculational Approach to Program Inversion

## Inverting functions as folds

## Algebraic methods for optimisation problems

## Inverting the Burrows-Wheeler Transform

## On building trees with minimum height, relationally

## Algebraic Methods for Optimisation Problems (Transfering dissertation)

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]

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.

[PDF][GZipped Postscript]

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.

[PDF][GZipped Postscript]

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]

S-C. Mu, *A Calculational Approach to Program Inversion*. D.Phil Thesis. Oxford University Computing Laboratory. March 2003

[GZipped Postscript][PDF]

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]

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]

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.

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]

S-C. Mu, *Algebraic Methods for Optimisation Problems*. Transfering dissertation.