A survey of strategies in rule-based program transformation systems (Q2456575): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59780445
@@ Property / Wikidata QID: Q59780445 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2004176798
@@ Property / OpenAlex ID: W2004176798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343027
@@ Property / cites work: Q4343027 / rank @@
+Normal rank
@@ Property / cites work @@
+Shrinking lambda expressions in linear time
@@ Property / cites work: Shrinking lambda expressions in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4274972
@@ Property / cites work: Q4274972 / rank @@
+Normal rank
@@ Property / cites work @@
+Term-rewriting systems with rule priorities
@@ Property / cites work: Term-rewriting systems with rule priorities / rank @@
+Normal rank
@@ Property / cites work @@
+CDuce
@@ Property / cites work: CDuce / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Q4223001
@@ Property / cites work: Q4223001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222851
@@ Property / cites work: Q4222851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4356480
@@ Property / cites work: Q4356480 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808750
@@ Property / cites work: Q4808750 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order matching for program transformation
@@ Property / cites work: Higher-order matching for program transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2702096
@@ Property / cites work: Q2702096 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformation System for Developing Recursive Programs
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive approach to the problem of program correctness
+Normal rank
@@ Property / cites work @@
+Q4472533
@@ Property / cites work: Q4472533 / rank @@
+Normal rank
@@ Property / cites work @@
+A System for Assisting Program Transformation
@@ Property / cites work: A System for Assisting Program Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+CONTEXT-FREE ALGEBRAS
@@ Property / cites work: CONTEXT-FREE ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Proving and applying program transformations expressed with second-order patterns
+Normal rank
@@ Property / cites work @@
+Fusing Logic and Control with Local Transformations
+Normal rank
@@ Property / cites work @@
+Q3771648
@@ Property / cites work: Q3771648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of context-free languages: Correction
@@ Property / cites work: Semantics of context-free languages: Correction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2764063
@@ Property / cites work: Q2764063 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed generic traversal with term rewriting strategies
+Normal rank
@@ Property / cites work @@
+Q4440344
@@ Property / cites work: Q4440344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843613
@@ Property / cites work: Q2843613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537503
@@ Property / cites work: Q4537503 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational program development in a particular problem domain
+Normal rank
@@ Property / cites work @@
+Q3996676
@@ Property / cites work: Q3996676 / rank @@
+Normal rank
@@ Property / cites work @@
+Secrets of the Glasgow Haskell Compiler  inliner
@@ Property / cites work: Secrets of the Glasgow Haskell Compiler inliner / rank @@
+Normal rank
@@ Property / cites work @@
+A transformation-based optimiser for Haskell
@@ Property / cites work: A transformation-based optimiser for Haskell / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721104
@@ Property / cites work: Q2721104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4041055
@@ Property / cites work: Q4041055 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental execution of transformation specifications
+Normal rank
@@ Property / cites work @@
+MetaML and multi-stage programming with explicit annotations
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843609
@@ Property / cites work: Q2843609 / rank @@
+Normal rank
@@ Property / cites work @@
+Origin tracking
@@ Property / cites work: Origin tracking / rank @@
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / cites work @@
+Just-in-time
@@ Property / cites work: Just-in-time / rank @@
+Normal rank
@@ Property / cites work @@
+Scoped Dynamic Rewrite Rules
@@ Property / cites work: Scoped Dynamic Rewrite Rules / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Rewriting Strategies in Program Transformation Systems
+Normal rank
@@ Property / cites work @@
+Building program optimizers with rewriting strategies
+Normal rank