Bird-Meertens Formalism

Also found in: Wikipedia

0.03 sec.

(theory, programming)

Bird-Meertens Formalism - (BMF) (Or "Squiggol") A calculus for derivation of functional programs from a specification. It consists of a set of higher-order functions that operate on lists including map, fold, scan, filter, inits, tails, cross product and function composition.

["A Calculus of Functions for Program Derivation", R.S. Bird, in Res Topics in Fnl Prog, D. Turner ed, A-W 1990].

["The Squiggolist", ed Johan Jeuring, published irregularly by CWI Amsterdam].

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Feedback

Mentioned in

Encyclopedia browser

Full browser

Bird Woman
bird's-foot trefoil
Bird, Isabella
Bird, Junius
Bird, Larry
Bird, Larry Joe
Bird, Robert Montgomery

Bird-Meertens Formalism
bird-of-paradise
bird-of-paradise flower
bird-watching
Birdman of Alcatraz
Birds
Birds Of a Feather
Birds, The

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.. Terms of Use.