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

Active Bibliography

23 Lazy rewriting on eager machinery – Wan Fokkink, Pum Walters, Jasper Kamperman - 2000
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
Compiling Lazy Functional Languages: An introduction – Thomas Johnsson - 1987
3 Target code generation from G-machine code – Thomas Johnsson - 1986
33 Compiling Language Definitions: The ASF+SDF Compiler – M. G. J. van den Brand, J. Heering, P. Klint, P. A. Olivier - 1999
7 Deterministic Concurrency – David Paul Carter - 1993
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
4 A Parallel Functional Language Compiler for Message-Passing Multicomputers – Sahalu B. Junaidu - 1998
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
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
16 Compilation of Functional Languages Using Flow Graph Analysis – Pieter H. Hartel, Hugh Glaser, John M. Wild - 1994
Using the ASF+SDF Meta-environment for teaching computer science – T.B. Dinesh, Susan M. Üsküdarli (eds.), Susan M - 1994
43 Origin Tracking – A. Van Deursen, A. Van Deursen, P. Klint, P. Klint, F. Tip, F. Tip - 1992
21 Term Rewriting for Sale – M. G. J. van den Brand, P. Klint, C. Verhoef - 1998
3 Implementing the Charity Abstract Machine – Dale Barry Yee, C Fl Dale Barry Yee, Dr. K. Loose, Dr. C. Laflamme - 1995
Domain-Specific Embedded Languages – Kevin Backhouse - 2002