A new revision of this paper is available under the title Survey of Strategies in Rule Based Program Transformation Systems. Main.EelcoVisser 12 Mar 2004 Main.EelcoVisser ...

The Generic Modeling Environment (GME) is a configurable toolkit for creating domain-specific modeling and program synthesis environments. http://www.isis.vanderbilt ...

Homepage: http://faculty.ist.unomaha.edu/winter/hats-uno/HATSWEB/index.html A framework for doing higher-order strategic programming. Supports rules and strategies ...

ModelDrivenArchitecture (MDA) is often presented as a particular approach to ProgramRefinement or, more generally, ProgramSynthesis. Models are usually UML models ...

Definition Program transformation is the act of changing one program into another. The term program transformation is also used for a program, or any other description ...

A methodology for deriving implementations from specifications. See also synthesis, refinement, Meertens Formalism. Main.EelcoVisser 01 Apr 2002

ProgramRefinement is a special case of ProgramSynthesis in which an (efficient) implementation is derived from a high-level specification such that the implementation ...

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 ...

Semantics, Applications and Implementation of Program Generation Deadline: March Conference: September (with PLI) 2002: http://www.cs.yale.edu/homes/taha/saig 2001 ...

Homepage: http://www.scicomp.com SciComp is specialized in ProgramSynthesis of numerical programs from PartialDifferentialEquations, especially in the domain of financial ...

The ProgramSynthesis system of SciComp CategorySystem Contributions by Main.EelcoVisser

Applications of ProgramTransformation in software engineering ProgramSynthesis ProgramCalculation ReuseByTransformation MaintenanceByTransformation ProgramMigration ...

Software generation is a class of transformations in which software implementations are generated from high-level specifications or (broadly interpreted) of generating ...

SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html

ProgramTransformation techniques are used in a many areas of SoftwareEngineering ranging from ProgramSynthesis, via ProgramOptimization and ProgramRefactoring, to ...

A ProgramTransformation paradigm is an area of application of TransformationTechniques. Paradigms that are employed in compilers and other automatic language processors ...

An overview of various forms of ProgramTransformation. Translation ProgramMigration ProgramSynthesis ProgramRefinement ProgramCompilation ReverseEngineering DeCompilation ...

INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...