Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,320 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
ASF+SDF Meta-Environment
Coccinelle
DMS Software Reengineering Toolkit
FermaT Transformation System
Expand
Broader (2)
Computer programming
Program transformation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
The varying faces of a program transformation systems
Beevi S. Nadera
,
bullet D Chitraprasad
,
bullet Vinod
,
S. S. Chandra
INROADS
2012
Corpus ID: 8056771
P rogram transformation is visualized as transforming the program written in legacy code to a more contemporary environment. Pure…
Expand
2012
2012
Enhancing flexibility and portability of Execution Preserving Language Transformation using Meta programming
S. Beevi
,
D. Chitra Prasad
,
S. S. Vinod Chandra
International Conference on Power, Signals…
2012
Corpus ID: 712004
This paper describes flexibility and effectiveness of Execution Preserving Language Transformation (EPLT) using a meta framework…
Expand
2012
2012
A comparison of program transformation systems
Michael Dever
,
G. Hamilton
2012
Corpus ID: 13975456
Program transformation is a popular technique for attempting to improve the efficiency of a program. At a high level, program…
Expand
Review
2009
Review
2009
The SmaCC transformation engine: how to convert your entire code base into a different programming language
J. Brant
,
Don Roberts
OOPSLA Companion
2009
Corpus ID: 36576511
The SmaCC Transformation Engine is a workbench for building program transformation systems. It has been used to create a wide…
Expand
2006
2006
DSAL = library+notation: Program Transformation for Domain-Specific Aspect Languages
Anya Helene
,
Bagge Karl
,
Trygve Kalleberg
2006
Corpus ID: 34802636
Domain-specific languages (DSLs) can greatly ease program development compared to general-purpose languages, but the cost of…
Expand
2005
2005
MetaWSL and meta-transformations in the FermaT transformation system
Martin P. Ward
,
H. Zedan
Annual International Computer Software and…
2005
Corpus ID: 2028309
A program transformation is an operation which can be applied to any program (satisfying the transformations applicability…
Expand
2003
2003
Deterministic Second-order Patterns in Program Transformation
T. Yokoyama
,
Zhenjiang Hu
,
M. Takeichi
2003
Corpus ID: 18245095
Higher-order patterns, together with higher-order matching, enable concise specification of program transformation, and have been…
Expand
Review
1999
Review
1999
Proofs by Program Transformations
Abhik Roychoudhury
,
I. Ramakrishnan
1999
Corpus ID: 8458483
Logic program transformation systems are often described as a collection of unfolding, folding and goal replacement…
Expand
1995
1995
The use of proof plans for transformation of functional programs by changes of data type
J. Richardson
1995
Corpus ID: 43233458
Program transformation concerns the derivation of an e cient program by applying correctness-preserving manipulations to a source…
Expand
1992
1992
The implementation of Z specifications using program transformation systems: the SuZan project
R. Knott
,
P. Krause
1992
Corpus ID: 58280215
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)
ACCEPT & CONTINUE