Program transformation

Known as: Program transformations, Transformation, Language processing program 
A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is… (More)
Wikipedia

Related topics

Related topics

46 relations
ASF+SDF Meta-EnvironmentAbstract interpretationAbstract syntax treeAbstraction layer
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Genetic Improvement of Software: A Comprehensive Survey
Genetic improvement (GI) uses automated search to find improved versions of existing software. We present a comprehensive survey… (More)
  • table I
  • table III
  • table II
  • table IV
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Stratego: A Language for Program Transformation Based on Rewriting Strategies
Program transformation is used in many areas of software engineering. Examples include compilation, optimization, synthesis… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Automatic Program Transformation with JOIE
While the availability of platform-independent code on the Internet is increasing, third-party code rarely exhibits all of the… (More)
  • table 1
  • table 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Inductive Functional Programming Using Incremental Program Transformation
The paper presents a system, ADATE, for automatic functional programming. ADATE uses speci cations that contain few constraints… (More)
  • figure 7.1
  • figure 7.2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Abstract Interpretation and Application to Logic Programs
Interpretation and Application to Logic Programs ∗ Patrick Cousot LIENS, École Normale Supérieure 45, rue d’Ulm 75230 Paris cedex… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Data Structures and Program Transformation
Aktract. ‘The construction of structure-preserving maps, “homomorphisms”, is described for an arbitrary data type, and a… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Lustre: A Declarative Language for Programming Synchronous Systems
LUSTRE is a synchronous data-flow language for programming systems which interact with their environments in real-time. After an… (More)
Is this relevant?
Highly Cited
1982
Highly Cited
1982
A System for Assisting Program Transformation
Program transformation has been advocated as a potentially appropriate methodology for program development. The ability to… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Continuation-Based Program Transformation Strategies
Program transformations often revolve the generahzation of a function to take additional arguments It is shown that m many eases… (More)
  • figure 2
Is this relevant?
Highly Cited
1977
Highly Cited
1977
A Transformation System for Developing Recursive Programs
A system of rules for transforming programs is described, with the programs in the form of recursion equations. An initially very… (More)
  • table I
  • figure 1
Is this relevant?