Assessing the Evaluation Transformer Model of Reduction on the Spineless G-machine (1993)

Cached

Download Links

by Sigbjørn Finne , Spineless G-machine , Geoffrey Burn
Citations:12 - 1 self

Documents Related by Co-Citation

29 Evaluation transformers - a model for the parallel evaluation of functional languages – G Burn - 1987
31 Strictness analysis using abstract reduction – E Nöcker - 1993
98 Projections for Strictness Analysis – Philip Wadler, R. J. M. Hughes - 1987
8 Implementing the Evaluation Transformer Model of Reduction on Parallel Machines – G. L. Burn - 1991
14 Reasoning about simple and exhaustive demand in higher-- order lazy languages – A Leung, P Mishra - 1991
91 Abstract Interpretation and Optimising Transformations for Applicative Programs – A MYCROFT - 1981
46 Lazy Functional Languages: Abstract Interpretation and Compilation – G L Burn - 1991
52 Strictness Analysis on Non-Flat Domains (by Abstract Interpretation over Finite Domains) – Philip Wadler
34 Benchmarking implementations of lazy functional languages II - Two years later – Pieter H. Hartel - 1993
32 Abstract interpretation in logical form – T Jensen - 1992
57 Strictness analysis: a new perspective based on type inference – Tsung-Min Kuo, Prateek Mishra - 1989
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
16 Strictness logic and polymorphic invariance – P. N. Benton - 1992
26 CPS Transformation after Strictness Analysis – Olivier Danvy, John Hatcliff, Cv Ffi S - 1993
60 Concurrent Clean – Eric Nöcker, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer - 1991
86 A compiler for lazy ML – L AUGUSTSSON - 1984
44 Strictness Analysis in Logical Form – Thomas P. Jensen - 1991
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
28 The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network – Hugh Kingdon, David R. Lester, Geoffrey L. Burn - 1991