Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,402,809 papers from all fields of science
Search
Sign In
Create Free Account
Program transformation
Known as:
Program transformations
, Transformation
, Language processing program
Expand
A program transformation is any operation that takes a computer program and generates another program. In many cases the transformed program is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
46 relations
ASF+SDF Meta-Environment
Abstract interpretation
Abstract syntax tree
Abstraction layer
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
An Efficient Implementation of Automatic Differentiation in Interior Point Optimal Power Flow
Q. Jiang
,
Guangchao Geng
,
Chuangxin Guo
,
Yijia Cao
IEEE Transactions on Power Systems
2010
Corpus ID: 109232
This paper presents an improved implementation of automatic differentiation (AD) technique in rectangular interior point optimal…
Expand
2010
2010
Transforming MPI source code based on communication patterns
Robert Preissl
,
M. Schulz
,
D. Kranzlmüller
,
B. Supinski
,
D. Quinlan
Future generations computer systems
2010
Corpus ID: 5364065
2006
2006
Recent advances in checkpoint/recovery systems
G. Bronevetsky
,
Rohit Fernandes
,
Daniel Marques
,
K. Pingali
,
Paul V. Stodghill
Proceedings 20th IEEE International Parallel…
2006
Corpus ID: 8545194
Checkpoint and recovery (CPR) systems have many uses in high-performance computing. Because of this, many developers have…
Expand
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
S. Lämmermann
2002
Corpus ID: 60385402
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires…
Expand
1997
1997
Intelligent Components and Software Generators
D. Batory
1997
Corpus ID: 59664306
The production of well-understood software will eventually be the responsibility of software generators. Generators will enable…
Expand
1997
1997
The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations
S. Fitzpatrick
,
T. Harmer
,
A. Stewart
,
M. Clint
,
J. M. Boyle
Science of Computer Programming
1997
Corpus ID: 14974004
1995
1995
Categorical Fixed Point Calculus
R. Backhouse
,
M. Bijsterveld
,
Rik van Geldrop
,
J. V. D. Woude
Category Theory and Computer Science
1995
Corpus ID: 1762388
A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of…
Expand
Highly Cited
1984
Highly Cited
1984
Program Transformation and Programming Environments
P. Pepper
NATO ASI Series
1984
Corpus ID: 11830870
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…
Expand
1981
1981
Program refinement by transformation
T. Cheatham
,
G. Holloway
,
Judy A. Townley
International Conference on Software Engineering
1981
Corpus ID: 15630084
Program maintenance is simplified when the program to be modified can be viewed as an abstract algorithm to which clearly…
Expand
Highly Cited
1976
Highly Cited
1976
High Level Iterators and a Method for Automatically Designing Data Structure Representation
J. Earley
Computer languages
1976
Corpus ID: 37189391
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)
ACCEPT & CONTINUE