By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend


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



< Previous Terms Terms Containing Bird-Meertens Formalism Next Terms >
BIP
bipartite graph
bipolar
bipolar transistor
BIPS
BMF
Squiggol
Birds Of a Feather
BISDN
Bison
Bison++
BIST


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions