Bird-Meertens Formalism

Bird-Meertens Formalism

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.

See also

* Catamorphism
* Anamorphism
* Paramorphism
* Hylomorphism

References

* cite book
author = Richard Bird
coauthors = Oege de Moor
year = 1997
title = Algebra of Programming, International Series in Computing Science, Vol. 100
publisher = Prentice Hall
isbn = 0-13-507245-X

External links

* [http://www.program-transformation.org/Transform/BirdMeertensFormalism Bird Meertens Formalism] on the Program Transformation Wiki


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Lambert Meertens — (born 1944) is a Dutch computer scientist and professor.In the 1960s, Meertens applied affix grammars to the description and composition of music, and obtained a special prize from the jury at the 1968 IFIP Congress in Edinburgh for his computer… …   Wikipedia

  • Richard Bird (computer scientist) — Prof. Richard S. Bird (born 1943, London) is a Fellow of Computation at Lincoln College, Oxford, England [http://www.lincoln.ox.ac.uk/content/view/70/40/] , and former director of Oxford University Computing Laboratory… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”