Bird-Meertens Formalism

From Seo Wiki - Search Engine Optimization and Programming Languages

Jump to: navigation, search

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 Squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.

See also


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

External links

Personal tools

Served in 0.107 secs.