Searched: Bird *Meertens *Formalism[^A-Za-z]
Results from Transform web
Catamorphism: a generalization of the fold function in FunctionalProgramming. A function on finite data structures having a tree-like data type is a catamorphism if ...
Homepage: BirdMeertensFormalism CategoryPeople
A methodology for deriving implementations from specifications. See also synthesis, refinement, Meertens Formalism. Main.EelcoVisser 01 Apr 2002
Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting ...
Homepage: BirdMeertensFormalism CategoryPeople

Number of topics: 5