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.
2010
2010
Safe Composition of Transformations
Model transformations are at the heart of Model-Driven Software Development (MDSD) and, once composed in transformation chains to… 
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… 
2006
2006
Recent advances in checkpoint/recovery systems
Checkpoint and recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have… 
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… 
1997
1997
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations
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… 
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)