BMF ⇝

Bird-Meertens Formalism

<theory, programming>

(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].

Last updated: 1995-05-01

Nearby terms:

bipolar transistor ♦ BIPS ♦ Bird-Meertens Formalism ♦ Birds Of a Feather ♦ BISDN

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading