Searching for "Equational Term Graph Rewriting." – sorted by Relevance.
-
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

