Bird–Meertens formalism
The Bird–Meertens formalism is a calculus for deriving programs from specifications (in a functional-programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work within IFIP Working Group 2.1.
It is sometimes referred to in publications as BMF, as a nod to Backus-Naur Form. Facetiously it is also referred to as Squiggol, because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is SQUIGOL.
See also
References
- Lambert Meertens (1986). "Algorithmics — Towards programming as a mathematical activity." (PDF). In J.W. de Bakker; M. Hazewinkel; J.K. Lenstra. Mathematics and Computer Science, CWI Monographs Volume 1. North-Holland. pp. 289–334.
- Lambert Meertens; Richard Bird (1987). "Two Exercises Found in a Book on Algorithmics" (PDF). North-Holland.
- Richard Bird; Oege de Moor (1997). Algebra of Programming, International Series in Computing Science, Vol. 100. Prentice Hall. ISBN 0-13-507245-X.
This article is issued from Wikipedia - version of the Tuesday, August 11, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.