Get started
Keyword

program transformation

Description: A software engineering and programming languages technique that modifies a program into another form while preserving its intended behavior.
Wikidata ID: wiki/Q7248437
OpenAlex ID: keywords/program-transformation
The program dependence graph and its use in optimization
1987 · Jeanne Ferrante, Karl J. Ottenstein, et al. · ACM Transactions on Programming Languages and Systems · 2,756
PDF
LLVM: a compilation framework for lifelong program analysis & transformation
2004 · C. Lattner, V. Adve · 2,685
Can programming be liberated from the von Neumann style?
1978 · John Backus · Communications of the ACM · 2,615
PDF
Principles of Program Analysis
1999 · Flemming Nielson, Hanne Riis Nielson, et al. · Springer eBooks · 1,836
Partial evaluation and automatic program generation
1993 · Neil D. Jones, Carsten K. Gomard, et al. · Medical Entomology and Zoology · 1,440
A Transformation System for Developing Recursive Programs
1977 · R. M. Burstall, John Darlington · Journal of the ACM · 1,300
PDF
Optimizing Compilers for Modern Architectures: A Dependence-based Approach
2001 · Ken Kennedy, John R. Allen · 1,017
Foundations of Deductive Databases and Logic Programming
1988 · Elsevier eBooks · 974
Program Analysis and Specialization for the C Programming Language
2005 · Lars Ole Andersen, Peter Lee · 904
Compiling with Continuations
1991 · Andrew W. Appel · Cambridge University Press eBooks · 826
Compiler transformations for high-performance computing
1994 · David F. Bacon, Susan L. Graham, et al. · ACM Computing Surveys · 818
PDF
Automatic translation of FORTRAN programs to vector form
1987 · Randy Allen, Ken Kennedy · ACM Transactions on Programming Languages and Systems · 734
PDF
Deforestation: transforming programs to eliminate trees
1990 · Philip Wadler · Theoretical Computer Science · 699
PDF
Supercompilers for parallel and vector computers
1990 · Hans Zima, Barbara Chapman · Medical Entomology and Zoology · 659
Refinement Calculus: A Systematic Introduction
1998 · Ralph-Johan J. Back, F.B. Schneider, et al. · 645
Neural Acceleration for General-Purpose Approximate Programs
2012 · Hadi Esmaeilzadeh, Adrian Sampson, et al. · Proceedings of the ... annual International Symposium on Microarchitecture/Proceedings of the annual International Symposium on Microarchitecture · 636
Conversion of control dependence to data dependence
1983 · J. R. Allen, Ken Kennedy, et al. · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 614
LUSTRE: a declarative language for real-time programming
1987 · P. Caspi, D. Pilaud, et al. · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 584
PDF
Context-sensitive interprocedural points-to analysis in the presence of function pointers
1994 · Maryam Emami, Rakesh Ghiya, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 571
A practical algorithm for exact array dependence analysis
1992 · William Pugh · Communications of the ACM · 568
PDF
Dataflow analysis of array and scalar references
1991 · Paul Feautrier · International Journal of Parallel Programming · 568
Manufacturing cheap, resilient, and stealthy opaque constructs
1998 · Christian Collberg, Clark Thomborson, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 540
The Art of Prolog: Advanced Programming Techniques
1994 · Leon Sterling, Ehud Shapiro · 532
Unifying Theories of Programming
1998 · Tony Hoare · 528
Functional programming with bananas, lenses, envelopes and barbed wire
1991 · Erik Meijer, Maarten Fokkinga, et al. · Lecture notes in computer science · 516
PDF
Works count: 14,900
Citation count: 158,200
Year
Topic
Type