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
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
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
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
39 Compiling Language Definitions: The ASF+SDF Compiler – M. G. J. van den Brand, J. Heering, P. Klint, P. A. Olivier - 1999
1 A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML – Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
7 Deterministic Concurrency – David Paul Carter - 1993
3 A Visual Programming Environment for Functional Languages – Joel Kelso - 2002
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
3 Addressed Term rewriting Systems: . . . – Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori - 2006
9 A Taxonomy of Functional Language Implementations Part II: Call-by-Name, Call-by-Need and Graph Reduction – Rémi Douence , Pascal Fradet - 1996
Décrire Et Comparer Les Implantations De Langages Fonctionnels – Rémi Douence, Pascal Fradet - 1996
21 Term Rewriting for Sale – M. G. J. van den Brand, P. Klint, C. Verhoef - 1998
Using the ASF+SDF Meta-environment for teaching computer science – T.B. Dinesh, Susan M. Üsküdarli (eds.), Susan M - 1994