Implementing term rewrite languages in DACTL (Q912591): Difference between revisions

@@ Property / describes a project that uses @@
+CLEAN
@@ Property / describes a project that uses: CLEAN / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771589
@@ Property / cites work: Q3771589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026318
@@ Property / cites work: Q3026318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789044
@@ Property / cites work: Q3789044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776590
@@ Property / cites work: Q3776590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3721784
@@ Property / cites work: Q3721784 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:912591