Bird-Meertens Formalism
Ng> (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) N="left">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 - (5621 Reads) |
