Bird-Meertens Formalism
From Wikipedia, the free encyclopedia
The Bird-Meertens Formalism is a calculus for deriving programs from specifications (in a functional-programming setting), devised by Richard Bird and Lambert Meertens.
It is sometimes facetiously known as the squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.
[edit] See also
- Catamorphism
- Anamorphism
- Paramorphism
- Hylomorphism
[edit] References
- Bird, Richard S.; Oege de Moor (1997). Algebra of Programming, International Series in Computing Science, Vol. 100. Prentice Hall.
[edit] External links
- Bird Meertens Formalism on the Program Transformation Wiki
