Putting the spine back in the spineless tagless G-machine: An implementation of resumable black-holes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1595, Issue , 1999, Pages 186-199

  Reid, Alastair ^a  

^a Yale University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ABSTRACT MACHINES; BATCH MODES; BLACK HOLES; GLASGOW HASKELL COMPILERS; HASKELL IMPLEMENTATION; INTERRUPT HANDLING; LAZY FUNCTIONAL LANGUAGES; ORIGINAL STATE;

ARTIFICIAL INTELLIGENCE;

EID: 0003657368     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48515-5_12     Document Type: Conference Paper

References (15)

1. S. Breach, T.N. Vijaykumar, and G.S. Sohi. The Anatomy of the Register File in a Multiscalar Processor. In 27th. Annual International Symposium on Microarchitecture (MICRO-27), pages 181-190. ACM press, 1994.
2. M. Chakravarty. Lazy Thread and Task Creation in Parallel Graph-Reduction. In C. Clack, A. Davie, and K. Hammond, editors, Proc. 9th. International Workshop on the Implementation of Functional Languages (IFL’97), St Andrews, Scotland, September 1997, volume 1467 of LNCS, pages 231-249. Springer-Verlag, 1998.
3. R.J.M. Hughes. The Design and Implementation of Programming Languages. PhD thesis, Oxford University, 1984.
4. R.J.M. Hughes. Parallel Functional Languages use Less Space. In Symposium on Lisp and Functional Programming, Austin, Texas, 1984.
5. M. Jones. The Implementation of the Gofer Functional Programming System. Research Report YALEU/DCS/RR-1030, Yale University, May 1994.
6. R.E. Jones. Tail Recursion Without Space Leaks. Journal of Functional Programming, 2(1):73-79, January 1992.
7. J.S. Mattson Jr. andW.G. Griswold. Speculative Evaluation for Parallel Graph Reduction. In Parallel Architectures and Compilation Techniques (PACT’94), pages 331-334. North-Holland, August 1994.
8. S.L. Peyton Jones. Implementing Lazy Functional Languages on Stock Hardware: the Spineless Tagless G-Machine. Journal of Functional Programming, 2(2):127-202, April 1992.
9. S.L. Peyton Jones, A.D. Gordon, and S.O. Finne. Concurrent Haskell. In Proc. 23rd. ACM Symposium on Principles of Programming Languages (POPL’96), pages 295-308, St Petersburg Beach, Florida, January 1996. ACM Press.
10. S.L. Peyton Jones, A. Reid, A. Hoare, S. Marlow, and F. Henderson. A Semantics for Imprecise Exceptions. In Proc. 1999 ACM Conference on Programming Language Design and Implementation (PLDI’99), To Appear, May 1999.
11. A. Reid. Handling Exceptions in Haskell. Research Report YALEU/DCS/RR-1175, Yale University, Department of Computer Science, August 1998.
12. C. Runciman and D. Wakeling. Heap Profiling of Lazy Functional Programs. Journal of Functional Programming, 3(2):217-246, April 1993.
13. J. Sparud. Fixing Some Space Leaks Without a Garbage Collector. In Proc. 1993 ACM Conference on Functional Programming Languages and Computer Architecture (FPLCA’93), 1993.
14. P.W. Trinder, K. Hammond, J.S. Mattson Jr., A.S. Partridge, and S.L. Peyton Jones. GUM: a Portable Parallel Implementation of Haskell. In Proc. 1996 ACM Conference on Programming Language Design and Implementation (PLDI’96), Philadelphia, pages 78-88, May 1996.
15. P.L. Wadler. Fixing a Space Leak With a Garbage Collector. Software | Practice and Experience, 17(9):595-608, 1987.