Skip to search formSkip to main contentSkip to account menu

List of program transformation systems

Known as: Program transformation systems 
This article lists notable program transformation systems by alphabetical order: * ASF+SDF * CIL (for C) * Coccinelle (for C) * DMS * Fermat * Spoon… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
ASF+SDF Meta-EnvironmentCoccinelleDMS Software Reengineering ToolkitFermaT Transformation System

Broader (2)

Computer programmingProgram transformation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Design Pattern Refactoring by Pretty-Printing
—Most design patterns in the Gang-of-Four text can be written as a refactoring script – a programmatic sequence of refactorings… 
2015
2015
Improved static analysisand verification of energy consumption andother resources via abstract interpretation
Resource analysis aims at inferring the cost of executing programs for any possible input, in terms of a given resource, such as… 
2012
2012
Enhancing flexibility and portability of Execution Preserving Language Transformation using Meta programming
This paper describes flexibility and effectiveness of Execution Preserving Language Transformation (EPLT) using a meta framework… 
2009
2009
A Practical Program Transformation SystemFor Reverse
Program transformation systems provide one means of formally deriving a program from its speciication. The main advantage of this… 
2006
2006
DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages
Domain-specific languages (DSLs) can greatly ease program development compared to general-purpose languages, but the cost of… 
2005
2005
MetaWSL and meta-transformations in the FermaT transformation system
A program transformation is an operation which can be applied to any program (satisfying the transformations applicability… 
2000
2000
Program Transformation-What We Didn't Know
This paper presents the aspects of language programming transformations that were unknown in the early 1980's. 
Review
1999
Review
1999
Proofs by Program Transformations
Logic program transformation systems are often described as a collection of unfolding, folding and goal replacement… 
1995
1995
The use of proof plans for transformation of functional programs by changes of data type
Program transformation concerns the derivation of an e cient program by applying correctness-preserving manipulations to a source… 
1992
1992
The implementation of Z specifications using program transformation systems: the SuZan project
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)