Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Sharing memory pages between non-trusting processes is a common method of reducing the memory footprint of multi-tenanted systems… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
The standard approach to program transformation involves the use of discrete logical reasoning to prove that the transformation… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We introduce a general uniform language-independent framework for designing online and offline source-to-source program… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe… Expand
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Functions, types and expressions programming languages and their operational semantics compilation partial evaluation of a flow… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 1.4
  • figure 3.1
Is this relevant?
Highly Cited
1992
Highly Cited
1992
We describe a method for the automatic acquisition of the hyponymy lexical relation from unrestricted text. Two goals motivate… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1989
Highly Cited
1989
A program correctness checker is an algorithm for checking the output of a computation. This paper defines the concept of a… Expand
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… Expand
  • table I
  • figure 1
Is this relevant?