Bird-Meertens Formalism

(theory, programming)(BMF) (Or "Squiggol") A calculus forderivation of functional programs from a specification. Itconsists of a set of higher-order functions that operate onlists 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 byCWI Amsterdam].

单词	bird-meertens formalism
释义	Bird-Meertens Formalism Bird-Meertens Formalism (theory, programming)(BMF) (Or "Squiggol") A calculus forderivation of functional programs from a specification. Itconsists of a set of higher-order functions that operate onlists 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 byCWI Amsterdam].
随便看	reversible cloth reversible colloid reversible counter reversible cycle reversible decortication reversible disassembly reversible electrode reversible engine reversible error reversible grating reversible hydrocolloid reversible idiopathic acute renal failure reversible in-flight lock reversible inhibition reversible inhibitor of monoamine oxidase reversible injection occlusion of vas deferens reversible injury reversible i's reversible ischemic neurological deficit reversible ischemic neurologic deficit reversible ischemic neurologic disability reversible jacket reversible jump markov chain monte carlo reversible lane reversible lock