A Survey of Rewriting Strategies in Program Transformation Systems (Q2841225): Difference between revisions

@@ Property / describes a project that uses @@
+TAMPR
@@ Property / describes a project that uses: TAMPR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KIDS
@@ Property / describes a project that uses: KIDS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Stratego
@@ Property / describes a project that uses: Stratego / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59780458
@@ Property / Wikidata QID: Q59780458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343027
@@ Property / cites work: Q4343027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / 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 @@
+Q2843609
@@ Property / cites work: Q2843609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222856
@@ Property / cites work: Q4222856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Prototyping: An Algebraic Specification Approach
+Normal rank
@@ Property / cites work @@
+Origin tracking
@@ Property / cites work: Origin tracking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472533
@@ Property / cites work: Q4472533 / 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 @@
+Q2764063
@@ Property / cites work: Q2764063 / 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 @@
+Q2721104
@@ Property / cites work: Q2721104 / rank @@
+Normal rank
@@ Property / cites work @@
+Just-in-time
@@ Property / cites work: Just-in-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215869
@@ Property / cites work: Q4215869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778890
@@ Property / cites work: Q2778890 / rank @@
+Normal rank
@@ Property / cites work @@
+Building program optimizers with rewriting strategies
+Normal rank