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

• Richard Bird; Oege de Moor (1997). Algebra of Programming, International Series in Computing Science, Vol. 100. Prentice Hall. ISBN 0-13-507245-X. 

[edit] External links

• Bird Meertens Formalism on the Program Transformation Wiki