Equational term graph rewriting (1996)

Cached

Download Links

by Zena M. Ariola , Jan Willem Klop
Venue:FUNDAMENTA INFORMATICAE
Citations:71 - 8 self

Active Bibliography

35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
8 Relating Graph and Term Rewriting via Böhm Models – Zena M. Ariola - 1993
10 Discrete Normalization and Standardization in Deterministic Residual Structures – Zurab Khasidashvili, John Glauert - 1996
15 Sharing of Computations – Torben Amtoft - 1993
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
97 The Geometry of Optimal Lambda Reduction – Georges Gonthier, Martín Abadi, Jean-Jacques Lévy - 1992
18 Optimality and Inefficiency : What Isn't a Cost Model of the Lambda Calculus? – Julia Lawall, Harry G. Mairson - 1996
1 Skew and ω-Skew Confluence and Abstract Böhm Semantics – Zena M. Ariola, Stefan Blom
18 Interaction Systems II: The Practice of Optimal Reductions – Andrea Asperti, Cosimo Laneve - 1994
39 Interaction Systems I: The theory of optimal reductions – Andrea Asperti, Cosimo Laneve - 1994
4 A general theory of sharing graphs – Stefano Guerrini - 1999
12 Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description – Andrea Corradini, Fabio Gadducci - 1999
The Geometry of Conflict-free Reduction Spaces – Z. Khasidashvili, J. Glauert, Zurab Khasidashvili, John Glauert - 1998
2 What is an Efficient Implementation of the λ-calculus? – Gudmund S. Frandsen, Carl Sturtivant - 1991
2 What is an Efficient Implementation of the λ-calculus? – Gudmund S. Frandsen, Carl Sturtivant - 1991
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Graph rewriting with . . . – D. Duval, R. Echahed, F. Prost - 2010