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 – Manuel M. T. Chakravarty, Hendrik C. R. Lock - 1997
20 Functional Back-Ends within the Lambda-Sigma Calculus – Thérèse Hardin, Luc Maranget, Bruno Pagano - 1996
4 A Fresh Look at Combinator Graph Reduction (Or, Having a TIGRE by the Tail) – Philip J. Koopman, Jr., Peter Lee - 1989
The ExTrEm Compiling Pattern Language: The Construction of Compiler Back-Ends by Stepwise Transformation of Virtual Machines – J. Garcia-Martin, M.Sutil-Martin - 2002
20 Non-Strict Languages - Programming and Implementation – S. C. Wray, J. Fairbairn - 1994
5 Tree Pattern Matching for ML (Extended Abstract) – Marianne Baudinet, Marianne Baudinet, David Macqueen, David Macqueen - 1985
Parallel graph reduction for divide-and-conquer applications† Part I- program transformations – Willem G. Vree, Pieter H. Hartel
7 An Effective Speculative Evaluation Technique for Parallel Supercombinator Graph Reduction – James S. Mattson, Jr. - 1993
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
1 A Graph Reduction Technique and an Extension to the G-Machine for Pure, Lazy Functional-Logic Languages (Preliminary Report) – John Maraist, Frank S. K. Silbermann - 1994
Author manuscript, published in "Higher Order and Symbolic Computation (2007)" Explaining the lazy Krivine machine using explicit substitution and addresses – Frédéric Lang - 2007
Result Directed Computing in a Functional Logic Language – Herbert Kuchen, Francisco Javier López-Fraguas, Rwth Aachen, Francisco Javier L'opez-fraguas - 1992
Implementation Issues for Functional Logic Programming – Herbert Kuchen, In E. G. Alf
11 Proof-Theoretic Foundation of Compilation in Logic Programming Languages – Iliano Cervesato
Formalizing Deterministic Semantics of Declarative Programming Languages – Heinz Faßbender, Sebastian Maneth
6 Towards the Global Optimization of Functional Logic Programs – Michael Hanus - 1994
37 Specialization of Lazy Functional Logic Programs – Maria Alpuente, Moreno Falaschi, Pascual Julián, German Vidal - 1997
35 The Integration of Functions into Logic Programming: A Survey – Michael Hanus - 1994