Lazy rewriting on eager machinery (2000)

by Wan Fokkink , Pum Walters , Jasper Kamperman
Venue:ACM Transactions on Programming Languages and Systems
Citations:23 - 1 self

Active Bibliography

3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – W. J. Fokkink, J. F. Th. Kamperman, H. R. Walters - 1997
43 Context-Sensitive Rewriting Strategies – Salvador Lucas - 1997
A Framework for the Analysis of Syntactic Replacement Restrictions – Salvador Lucas - 1999
Survey of the Equational Logic Programming Project – Michael Donnell - 1987
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
290 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
3 Target code generation from G-machine code – Thomas Johnsson - 1986
2 On Weakly Orthogonal Constructor-Based Graph Rewriting – Rachid Echahed, Jean-christophe Janodet - 1998
2 Lazy Rewriting in Logic Programming – Sergio Antoy - 1992
Compiling Lazy Functional Languages: An introduction – Thomas Johnsson - 1987
7 Deterministic Concurrency – David Paul Carter - 1993
A Survey of Sequential and Parallel Implementation Techniques for Functional Programming Languages – Ralph C. Hilzer, Jr. , Lawrence A. Crowl - 1995
30 Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories – Hélène Kirchner, Pierre-Etienne Moreau - 2001
16 A Syntactic Approach to Program Transformations – Zena M. Ariola, Arvind - 1991
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
1 FunSheet: A Functional Spreadsheet – Walter de Hoon, Luc Rutten, Marko van Eekelen - 1994
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
17 A Cost Analysis for a Higher-order Parallel Programming Model – Roopa Rangaswami, Sister Kripa - 1996
Experience with a Clustered Parallel Reduction Machine – M. Beemster, P. H. Hartel, L. O. Hertzberger, R. F. H. Hofman, K. G. Langendoen, L. L. Li, R. Milikowski, W. G. Vree, H. P. Barendregt, J. C. Mulder - 1993