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

View PDF

Download Links

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

Documents Related by Co-Citation

28 Compilation of Term Rewriting Systems – Jasper Fredrikus Theodorus Kamperman - 1996
578 Term Rewriting Systems – J. W. Klop - 1992
685 A Survey of Program Slicing Techniques – F. Tip - 1995
634 Compiling with Continuations – A Appel - 1992
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
561 The implementation of functional programming languages – S L Peyton Jones - 1987
443 Garbage Collection: Algorithms for Automatic Dynamic Memory Management – R Jones, R Lins - 1996
209 A meta-environment for generating programming environments – P Klint - 1993