Bird-Meertens Formalism
From Seo Wiki - Search Engine Optimization and Programming Languages
Jump to navigationJump to 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
References
- 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
- Bird Meertens Formalism on the Program Transformation Wiki
Stub icon | This computer science article is a stub. You can help Wikipedia by expanding it. |
If you like SEOmastering Site, you can support it by - BTC: bc1qppjcl3c2cyjazy6lepmrv3fh6ke9mxs7zpfky0 , TRC20 and more...
→