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

Related topics

Related topics

46 relations
ASF+SDF Meta-EnvironmentAbstract interpretationAbstract syntax treeAbstraction layer
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack
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
Probabilistically Accurate Program Transformations
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
Program Analysis and Specialization for the C Programming Language
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
Simple relational correctness proofs for static analyses and program transformations
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
Systematic design of program transformation frameworks by abstract interpretation
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
Proof-carrying code
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
Partial evaluation and automatic program generation
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
Automatic Acquisition of Hyponyms from Large Text Corpora
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
Designing programs that check their work
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 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… Expand
  • table I
  • figure 1
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE