A survey of strategies in rule-based program transformation systems

DOI10.1016/J.JSC.2004.12.011MaRDI QIDQ2456575zbMATH OpenOpenAlexWikidataFDO

Authors Eelco Visser

Publication date 19 October 2007

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/24134

zbMATH Keywords

pattern matchingterm rewritingattribute grammarsProgram transformationtree traversaltransformation ruleprogram representationcongruence operatorscontext-sensitive rulesextensions of term rewritinggeneric traversal strategiesstrategy annotationsstrategy combinatorstransformation strategytree parsing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• A survey of rewriting strategies in program transformation systems
• scientific article; zbMATH DE number 1722718
• Program transformation with scoped dynamic rewrite rules
• Rewriting strategies and strategic rewrite programs
• Program transformation and rewriting

Cites work

• scientific article; zbMATH DE number 1612495 (Why is no real title available?)
• scientific article; zbMATH DE number 1693488 (Why is no real title available?)
• scientific article; zbMATH DE number 4031017 (Why is no real title available?)
• scientific article; zbMATH DE number 46424 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 194259 (Why is no real title available?)
• scientific article; zbMATH DE number 1231535 (Why is no real title available?)
• scientific article; zbMATH DE number 1231542 (Why is no real title available?)
• scientific article; zbMATH DE number 1231673 (Why is no real title available?)
• scientific article; zbMATH DE number 482779 (Why is no real title available?)
• scientific article; zbMATH DE number 1027560 (Why is no real title available?)
• scientific article; zbMATH DE number 1069521 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 2018596 (Why is no real title available?)
• scientific article; zbMATH DE number 2080282 (Why is no real title available?)
• scientific article; zbMATH DE number 1761878 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 2090076 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• A System for Assisting Program Transformation
• A Transformation System for Developing Recursive Programs
• A constructive approach to the problem of program correctness
• A survey of rewriting strategies in program transformation systems
• A transformation-based optimiser for Haskell
• Building program optimizers with rewriting strategies
• CDuce: an XML-centric general-purpose language
• CONTEXT-FREE ALGEBRAS
• ELAN from a rewriting logic point of view
• First-class attribute grammars
• Fusing logic and control with local transformations: an example optimization
• Higher-order matching for program transformation
• Incremental execution of transformation specifications
• Initial Algebra Semantics and Continuous Algebras
• Just-in-time: on strategy annotations
• Language prototyping: An algebraic specification approach
• Maude: specification and programming in rewriting logic
• MetaML and multi-stage programming with explicit annotations
• Origin tracking
• Proving and applying program transformations expressed with second-order patterns
• Scoped dynamic rewrite rules
• Secrets of the Glasgow Haskell Compiler inliner
• Semantics of context-free languages: Correction
• Shrinking lambda expressions in linear time
• Strategies for source-to-source constant propagation
• Systematic design of program transformation frameworks by abstract interpretation
• Term rewriting with type-safe traversal functions
• Term-rewriting systems with rule priorities
• The Zipper
• Transformational program development in a particular problem domain
• Typed generic traversal with term rewriting strategies

Cited in

(16)

• RAPT: A Program Transformation System Based on Term Rewriting
• Term rewriting with type-safe traversal functions
• Strategic port graph rewriting: an interactive modelling framework
• A survey of rewriting strategies in program transformation systems
• Scoped dynamic rewrite rules
• The Maude strategy language
• Towards ``mouldable code via nested code graph transformation
• Rewriting strategies and strategic rewrite programs
• Program transformation with scoped dynamic rewrite rules
• Program calculation in Coq
• Warm fusion in Stratego: A case study in generation of program transformation systems
• Translation of algebraic programs into executable codes
• scientific article; zbMATH DE number 1722718 (Why is no real title available?)
• Transformation of structure-shy programs with application to XPath queries and strategic functions
• Hume box calculus: Robust system development through software transformation
• Evolution of rule-based programs

Describes a project that uses

Uses Software

• Stratego
• ELAN
• ANTLR
• ATERM
• TAMPR
• Haskell
• OBJ3
• Maude
• GHC
• Automath
• TXL
• CDuce
• KIDS

This page was built for publication: A survey of strategies in rule-based program transformation systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456575)