Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Slicing as a program transformation
The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for… 
2001
2001
Gene transformation in Brassica sp. using particle bombardment technique.
Gene transformation in Brassica sp. was studied using particle bombardment. Cotyledon and hypocotyles of different species of… 
2000
2000
Specification and Formal Analysis of a PLAN Algorithm in Maude
Rewriting logic can be used as a semantic framework to model next-generation networks and algorithms such as those of active… 
1996
1996
Default Negated Conclusions: Why Not?
We address the issue of the syntactical assymetry of logic programs: can one allow default negated literals in the heads? This… 
1992
1992
A logical model of competence and performance in the human sentence processor
This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in an… 
1992
1992
A Recursion Removal Theorem
In this paper we briefly introduce a Wide Spectrum Language and its transformation theory and describe a recent success of the… 
Highly Cited
1984
Highly Cited
1984
Program Transformation and Programming Environments
data types: Feather: I can see how to use abstract data types for things like sets, (Jleues and so on, but not for many of the… 
1981
1981
Program refinement by transformation
Program maintenance is simplified when the program to be modified can be viewed as an abstract algorithm to which clearly… 
1978
1978
Information systems: Modelling, sequencing and transformations
Specification and design of an information system conventionally starts from consideration of the system function. This paper… 
1971
1971
Interpretation of Initiation Pressure Hysteresis Phenomena for Fixed‐Point Pressure Calibration
An interpretation of initiation pressure hysteresis phenomena for fixed‐point pressure calibration is presented according to the… 
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)