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
625 Compiling with Continuations – A Appel - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
568 Term Rewriting Systems – J. W. Klop - 1992
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
542 The Implementation of Functional Programming Languages – S L Peyton Jones - 1987
415 Garbage Collection: Algorithms for Automatic Dynamic Memory Management – R E Jones - 1996
360 Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I – John Mccarthy - 1960
140 Pattern matching in trees – Christoph Hoffmann, Michael J O'Donnell - 1982