Searching for "Equational Term Graph Rewriting." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Equational Term Graph Rewriting
- …Equational Term Graph Rewriting Zena M. Ariola Computer & Information Science Department…
- Cited by 53 (8 self) – Add To MetaCart
-
Safety of Strictness Analysis via Term Graph Rewriting
- … core functional language are interpreted as graph rewriting systems using a form of equational term…
- Cited by 4 (0 self) – Add To MetaCart
-
Cs-R9552 1995
- …Centrum voor Wiskunde en Informatica REPORTRAPPORT Equational term graph rewriting Z.M. Ariola…
- Add To MetaCart
-
Models of Sharing Graphs: A Categorical Semantics of let and letrec
- …SharingTheory ........................ 34 2.4RewritingonSharingGraphs .................... 38 2.5EquationalTermGraphRewriting…
- Cited by 54 (8 self) – Add To MetaCart
-
Transitive Term Graph Rewriting
- …], Ariola and Klop get the result by considering term graph rewriting interpretations of sets of equations…
- Cited by 2 (1 self) – Add To MetaCart
-
Periodic Progress Report
- … in abstract rewriting. 3.2.3 Publications, Technical Reports 1. Z.M. Ariola, J.W. Klop Equational term graph…
- Add To MetaCart
-
Term-graph rewriting via explicit paths
- … formalisations of term-graph rewriting, category-theory oriented [14], equationally oriented [2, 17…
- Add To MetaCart
-
Bibliography
- …] Z.M. Ariola and J.W. Klop. Equational term graph rewriting. Fundamenta Informaticae, 26…
- Add To MetaCart
Showing 1 through 8.
