Searched: Program *Calculation[^A-Za-z]
Results from PEPM11 web
The abstracts are available here and here. Monday, January 24, 2011 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Session Chair: Jeremy Siek Olivier Danvy ...
Number of topics: 1
Results from Transform web
Homepage: http://www.cs.uu.nl/~johanj/ ProgramCalculation CategoryPeople
Program derivation is a kind of ProgramTransformation in which an (efficient) implementation is derived from a (high-level) specification. If the specification can ...
Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting ...
(See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ...
Applications of ProgramTransformation in software engineering ProgramSynthesis ProgramCalculation ReuseByTransformation MaintenanceByTransformation ProgramMigration ...
Number of topics: 5