Abstract machines for programming language implementation (2000)

Cached

Download Links

by Stephan Diehl , Pieter Hartel , Peter Sestoft
Venue:FUTURE GENERATION COMPUTER SYSTEMS
Citations:20 - 0 self

Active Bibliography

6 Towards the uniform implementation of declarative languages – - 1997
19 Functional Back-Ends within the Lambda-Sigma Calculus – - 1996
4 A Fresh Look at Combinator Graph Reduction (Or, Having a TIGRE by the Tail) – - 1989
The ExTrEm Compiling Pattern Language: The Construction of Compiler Back-Ends by Stepwise Transformation of Virtual Machines – - 2002
20 Non-Strict Languages - Programming and Implementation – - 1994
5 Tree Pattern Matching for ML (Extended Abstract) – - 1985
Parallel graph reduction for divide-and-conquer applications† Part I- program transformations
7 An Effective Speculative Evaluation Technique for Parallel Supercombinator Graph Reduction – - 1993
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – - 2009
1 A Graph Reduction Technique and an Extension to the G-Machine for Pure, Lazy Functional-Logic Languages (Preliminary Report) – - 1994
Result Directed Computing in a Functional Logic Language – - 1992
Implementation Issues for Functional Logic Programming
11 Proof-Theoretic Foundation of Compilation in Logic Programming Languages
Formalizing Deterministic Semantics of Declarative Programming Languages
6 Towards the Global Optimization of Functional Logic Programs – - 1994
35 The Integration of Functions into Logic Programming: A Survey – - 1994
35 Specialization of Lazy Functional Logic Programs – - 1997
3 Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems – - 1997