Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,964,238 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
Safe Composition of Transformations
Florian Heidenreich
,
Jan Kopcsek
,
U. Assmann
Journal of Object Technology
2010
Corpus ID: 17795922
Model transformations are at the heart of Model-Driven Software Development (MDSD) and, once composed in transformation chains to…
Expand
2009
2009
A Domain Specific Language for Extracting Models in Software Modernization
Javier Luis Cánovas Izquierdo
,
J. Molina
ECMDA-FA
2009
Corpus ID: 16162123
Model-Driven Engineering techniques can be used both to create new software and to modernize existing software systems. Model…
Expand
2007
2007
Slicing as a program transformation
Martin P. Ward
,
H. Zedan
TOPL
2007
Corpus ID: 8463011
The aim of this article is to provide a unified mathematical framework for program slicing which places all slicing work for…
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
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
1978
1978
Information systems: Modelling, sequencing and transformations
M. Jackson
International Conference on Software Engineering
1978
Corpus ID: 15354444
Specification and design of an information system conventionally starts from consideration of the system function. This paper…
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