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 - (5519 Reads) |
