Transformational program development in a particular problem domain
Science of Computer Programming
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Two exercises found in a book on algorithmics
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Views: a way for pattern matching to cohabit with data abstraction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The syntax definition formalism SDF—reference manual—
ACM SIGPLAN Notices
Abstract programming and program transformation—an approach to reusing programs
Software reusability: vol. 1, concepts and models
Term-rewriting systems with rule priorities
Theoretical Computer Science - Second Conference on Rewriting Techniques and Applications, Bordeaux, May 1987
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Handbook of theoretical computer science (vol. B)
BURG: fast optimal instruction selection and tree parsing
ACM SIGPLAN Notices
A logic programming approach to implementing higher-order term rewriting
ELP'91 Conference Proceedings on Extensions of logic programming
Engineering a simple, efficient code-generator generator
ACM Letters on Programming Languages and Systems (LOPLAS)
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Journal of Symbolic Computation - Special issue on automatic programming
Handbook of logic in computer science (vol. 2)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generation of formatters for context-free languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Future directions in program transformation
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The TAMPR program transformation system: simplifying the development of numerical software
Modern software tools for scientific computing
Manufacturing cheap, resilient, and stealthy opaque constructs
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Term rewriting and all that
A refactoring tool for Smalltalk
Theory and Practice of Object Systems - Special issue object-oriented software evolution and re-engineering
Advanced compiler design and implementation
Advanced compiler design and implementation
Equations as a uniform framework for partial evaluation and abstract interpretation
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Building program optimizers with rewriting strategies
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A transformation-based optimiser for Haskell
Science of Computer Programming - Special issue on the 6th European symposium on programming
International workshop on software transformation systems (STS '99)
Proceedings of the 21st international conference on Software engineering
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Generation of components for software renovation factories from context-free grammars
Science of Computer Programming - Special issue on WCRE 97
Software—Practice & Experience
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Transformation Systems
ACM Computing Surveys (CSUR)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
MetaML and multi-stage programming with explicit annotations
Theoretical Computer Science - Partial evaluation and semantics-based program manipulation
Systematic design of program transformation frameworks by abstract interpretation
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Visitor combination and traversal control
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modern Compiler Implementation: In ML
Modern Compiler Implementation: In ML
Specification and Transformation of Programs: A Formal Approach to Software Development
Specification and Transformation of Programs: A Formal Approach to Software Development
Template meta-programming for Haskell
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Scrap your boilerplate: a practical design pattern for generic programming
Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Strategic programming meets adaptive programming
Proceedings of the 2nd international conference on Aspect-oriented software development
Attribute grammars as a functional programming paradigm
Proceedings of the Functional Programming Languages and Computer Architecture
Meta-programming with Concrete Object Syntax
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Typed Combinators for Generic Traversal
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Implementation of Term Rewritings with the Evaluation Strategy
PLILP '97 Proceedings of the9th International Symposium on Programming Languages: Implementations, Logics, and Programs: Including a Special Trach on Declarative Programming Languages in Education
Rewriting Strategies for Instruction Selection
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Data Structure Free Compilation
CC '99 Proceedings of the 8th International Conference on Compiler Construction, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Imperative Program Transformation by Rewriting
CC '01 Proceedings of the 10th International Conference on Compiler Construction
Viewing A program Transformation System At Work
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
A Metalanguage for Programming with Bound Names Modulo Renaming
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
CSMR '02 Proceedings of the 6th European Conference on Software Maintenance and Reengineering
Term rewriting with traversal functions
ACM Transactions on Software Engineering and Methodology (TOSEM)
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Incremental execution of transformation specifications
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Secrets of the Glasgow Haskell Compiler inliner
Journal of Functional Programming
Shrinking lambda expressions in linear time
Journal of Functional Programming
Journal of Functional Programming
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compilers: Principles, Techniques, and Tools (2nd Edition)
Compilers: Principles, Techniques, and Tools (2nd Edition)
The Programmer's Apprentice: Knowledge Based Program Editing
IEEE Transactions on Software Engineering
Specification of rewriting strategies
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
The Draco Approach to Constructing Software from Reusable Components
IEEE Transactions on Software Engineering
Supporting incremental and experimental software evolution by runtime method transformations
Science of Computer Programming - Special issue on program transformation
Stratego/XT 0.16: components for transformation systems
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Translation of Algebraic Programs into Executable Codes
Cybernetics and Systems Analysis
Rewriting term-graphs with priority
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically
Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Program Transformation with Scoped Dynamic Rewrite Rules
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Types and program transformations
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Object-oriented transformations for extracting aspects
Information and Software Technology
Automated transformation for performance-critical kernels
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
A language and framework for invariant-driven transformations
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Non strict confluent rewrite systems for data-structures with pointers
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Verifying VIA Nano microprocessor components
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Hume box calculus: robust system development through software transformation
Higher-Order and Symbolic Computation
Expressing control mechanisms of membranes by rewriting strategies
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Matching modulo superdevelopments application to second-order matching
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Automating model transformations in agent-oriented modelling
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
A strategy language for graph rewriting
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs
Proceedings of the 2012 Haskell Symposium
Program Transformation with Scoped Dynamic Rewrite Rules
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Towards a model transformation intent catalog
Proceedings of the First Workshop on the Analysis of Model Transformations
Type-changing rewriting and semantics-preserving transformation
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.00 |
Program transformation is the mechanical manipulation of a program in order to improve it relative to some cost function and is understood broadly as the domain of computation where programs are the data. The natural basic building blocks of the domain of program transformation are transformation rules expressing a 'one-step' transformation on a fragment of a program. The ultimate perspective of research in this area is a high-level, language parametric, rule-based program transformation system, which supports a wide range of transformations, admitting efficient implementations that scale to large programs. This situation has not yet been reached, as trade-offs between different goals need to be made. This survey gives an overview of issues in rule-based program transformation systems, focusing on the expressivity of rule-based program transformation systems and in particular on transformation strategies available in various approaches. The survey covers term rewriting, extensions of basic term rewriting, tree parsing strategies, systems with programmable strategies, traversal strategies, and context-sensitive rules.