Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems (1997)

Cached

Download Links

by W. J. Fokkink , J. F. Th. Kamperman , H. R. Walters
Citations:3 - 1 self

Documents Related by Co-Citation

26 Compilation of Term Rewriting Systems – Jasper Fredrikus Theodorus Kamperman - 1996
16 Left-to-right tree pattern matching – A Gräf - 1991
18 Benchmarking implementations of functional languages with “pseudoknot” a float-intensive benchmark – Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp - 1996
136 Pattern matching in trees – C M Ho mann, M J O'Donnell - 1982
4 An Overview of CafeObj – R Diaconescu, K Futatsugi, M Ishisone, A T Nakagawa, T Sawada - 1998
2 The Coq homepage. http://coq.inria.fr – LogiCalINRIA
2 The ELAN homepage. http://elan.loria.fr – PROTHEOLORIA
5 Equational Logic Programming – M J O'Donnell - 1995
1 The PVS homepage. http://pvs.csl.sri.com – CSLSRI
21 De trees – S Antoy - 1992
17 The Evaluation Strategy for Head Normal Form With and Without on-Demand Flags – Masaki Nakamura, Kazuhiro Ogata - 2001
12 Operational semantics of rewriting with the on-demand evaluation strategy, in – K Ogata, K Futatsugi - 2000
23 Lazy rewriting on eager machinery – Wan Fokkink, Pum Walters, Jasper Kamperman - 2000
3 Introduction to OBJ – J Goguen, T Winkler, J Meseguer, K Futatsigi, j Jouannaud - 1993
8 ELAN for Equational Reasoning in Coq – Cuihtlauac Alvarado, Quang-Huy Nguyen, Loria Inria Lorraine - 2000
41 Rewriting With Strategies In ELAN: A Functional Semantics – Peter Borovansky, Claude Kirchner, Hélène Kirchner, H El, Ene Kirchner, Christophe Ringeissen, Communicated M. Sato, Y. Toyama - 1999
69 Context-Sensitive Computations in Functional and Functional Logic Programs – Salvador Lucas - 1998
84 Computations in orthogonal rewriting systems – G Huet, J-J Lévy - 1991
51 Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, chapter 6: Rewrite Systems – N Dershowitz, J-P Jouannaud - 1990