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) In addition suitable Contents:
[ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arC ] [ at ] [ B ] [ b ] [ BMF ] [ by ] [ C ] [ Ca ] [ CalC ] [ Cat ] [ Ch ] [ Ci ] [ Cl ] [ Co ] [ Com ] [ Composition ] [ Con ] [ Cons ] [ Cr ] [ Cu ] [ CW ] [ CWI ] [ D ] [ de ] [ ding ] [ du ] [ eC ] [ ed ] [ eg ] [ er ] [ era ] [ es ] [ et ] [ fi ] [ file ] [ filter ] [ fo ] [ for ] [ fr ] [ Fun ] [ funCtion ] [ funCtional ] [ funCtional program ] [ gh ] [ gr ] [ gu ] [ h ] [ hat ] [ higher-order funCtion ] [ hr ] [ id ] [ il ] [ in ] [ inC ] [ io ] [ ir ] [ is ] [ it ] [ J ] [ la ] [ lC ] [ ld ] [ Lex ] [ li ] [ list ] [ lists ] [ ls ] [ lt ] [ lu ] [ ly ] [ M ] [ ma ] [ map ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ ms ] [ na ] [ nC ] [ ne ] [ ng ] [ ni ] [ nl ] [ ns ] [ O ] [ om ] [ op ] [ pe ] [ ph ] [ pr ] [ produCt ] [ program ] [ programming ] [ query ] [ rC ] [ re ] [ rl ] [ ro ] [ S ] [ sC ] [ sCan ] [ se ] [ set ] [ sh ] [ si ] [ sit ] [ speC ] [ speCifiCation ] [ Squiggol ] [ st ] [ T ] [ th ] [ theory ] [ us ] [ va ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (5545 Reads) |
