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.
2013
2013
Inspecting and Preferring Abductive Models
This book consists of various contributions in conjunction with the keywords "reasoning" and "intelligent systems", which widely… 
2010
2010
Transforming MPI source code based on communication patterns
2009
2009
A Domain Specific Language for Extracting Models in Software Modernization
Model-Driven Engineering techniques can be used both to create new software and to modernize existing software systems. Model… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
1995
1995
Categorical Fixed Point Calculus
A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of… 
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… 
1981
1981
Transformations of FP program schemes
The perceived inefficiency in execution functional programming languages has been an obstacle to their widespread acceptance… 
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… 
Highly Cited
1976
Highly Cited
1976
High Level Iterators and a Method for Automatically Designing Data Structure Representation
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)