Copyright © Philip M. Parker, INSEAD. Terms of Use.

BIRD-MEERTENS FORMALISM

Specialty Definition: BIRD-MEERTENS FORMALISM

DomainDefinition

Computing

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]. (1995-05-01). Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Crosswords: BIRD-MEERTENS FORMALISM

Specialty definitions using "BIRD-MEERTENS FORMALISM": BMF ♦ Squiggol. (references)

Top     

Alternative Orthography: BIRD-MEERTENS FORMALISM


Hexadecimal (or equivalents, 770AD-1900s) (references)

42 49 52 44 2D 4D 45 45 52 54 45 4E 53      46 4F 52 4D 41 4C 49 53 4D

Leonardo da Vinci (1452-1519; backwards) (references)

    

Binary Code (1918-1938, probably earlier) (references)

01000010 01001001 01010010 01000100 00101101 01001101 01000101 01000101 01010010 01010100 01000101 01001110 01010011 00100000 01000110 01001111 01010010 01001101 01000001 01001100 01001001 01010011 01001101

HTML Code (1990) (references)

&#66 &#73 &#82 &#68 &#45 &#77 &#69 &#69 &#82 &#84 &#69 &#78 &#83 &#32 &#70 &#79 &#82 &#77 &#65 &#76 &#73 &#83 &#77

ISO 10646 (1991-1993) (references)

0042 0049 0052 0044 002D 004D 0045 0045 0052 0054 0045 004E 0053      0046 004F 0052 004D 0041 004C 0049 0053 004D

Encryption (beginner's substitution cypher): (references)

364352381547393952543948532404952473546435347

Top     



INDEX

1. Crosswords
2. Orthography
3. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.