Graph-based Operational Semantics of a Lazy Functional Language (0)

Cached

Download Links

by Kristoffer H. Rose , Kristoffer H. Rose
Venue:Term Graph Rewriting: Theory and Practice, chapter 22
Citations:1 - 1 self

Active Bibliography

25 Explicit Cyclic Substitutions – Kristoffer Høgsbro Rose - 1993
1 Operational Machine Specification in a Functional Programming Language – P. W. M. Koopman - 1995
34 Dactl: An Experimental Graph Rewriting Language – John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep - 1991
35 Cyclic Lambda Graph Rewriting – Zena M. Ariola, Jan Willem Klop - 1994
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
15 Sharing of Computations – Torben Amtoft - 1993
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages – Ralph C. Hilzer, Jr. , Lawrence A. Crowl - 1995
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
Author manuscript, published in "Higher Order and Symbolic Computation (2007)" Explaining the lazy Krivine machine using explicit substitution and addresses – Frédéric Lang - 2007
71 Equational term graph rewriting – Zena M. Ariola, Jan Willem Klop - 1996
186 Parameter-Passing and the Lambda Calculus – Erik Crank, Matthias Felleisen - 1991
36 Cyclic Lambda Calculi – Zena M. Ariola, Stefan Blom - 1997
Using Static Analysis to Derive Imperative . . . – Patrice Quinton, Sanjay Rajopadhye, Doran Wilde - 1994
16 A Syntactic Approach to Program Transformations – Zena M. Ariola, Arvind - 1991
17 Compilation of Functional Languages Using Flow Graph Analysis – Pieter H. Hartel, Hugh Glaser, John M. Wild - 1994
4 Bottom-Up β-Substitution: Uplinks and λ-DAGs – Olin Shivers, Mitchell Wand - 2004
4 A general theory of sharing graphs – Stefano Guerrini - 1999
1 A Graph Reduction Technique with Sharing across Narrowings for Functional-Logic Languages – John Maraist, Frank S. K. Silbermann - 1994
Sharing Implementations of Graph Rewriting Systems – Stefano Guerrini - 2004