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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
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
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
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
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
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
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 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
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
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 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?