Dr. Dietmar Kreye 
Diplom-Informatiker


[-] Research
[-] Teaching
[-] Publications
[-] Bookshelf
 [=] Topics
 [-] Document Types
[-] Internal Section
[-] Lost and Found
[-] Contact





äöüß

Compilation Schemes


[+] Compilation of Id-: A Subset of IdDownload Link
Z. M. Ariola; Arvind (Technical Report, 1990)
[-] Term Graph Reduction
Hendrik Pieter Barendregt; Marco van Eekelen; John Glauert; ... [J. W. de Bakker; A. J. Nijman; Philip C. Treleaven (Eds.)] (In Collection, 1990)
[-] Reduction Languages for Reduction Machines
Klaus Berkling (In Proceedings, 1975)
[+] An Overview of the APEX CompilerDownload Link
Robert Bernecky (Technical Report, 1997)
[-] Inside the APL2 Workspace
J. Brown (Article, 1985)
[-] An APL Compiler
Timothy Budd (Book, 1988)
[+] Specification of the PROMOTER Compilation System Version 1.0Download Link
P. Enskonatus; M. Kessler; J. Nolte (Technical Report, 1994)
[-] Compiling Lazy Functional Languages
T. Johnsson (PhD Thesis, 1987)
[-] An Outline of Some Results of Staples on Optimal Reduction Orders in Replacement Systems
J. R. Kennaway (Technical Report, 1984)
[+] A Compilation Scheme for a Hierarchy of Array TypesDownload Link (RelatedExternal Link)
Dietmar Kreye [Thomas Arts; Markus Mohnen (Eds.)] (In Proceedings, 2001)
[own]
[+] A Compilation Scheme for a Hierarchy of Array TypesDownload Link (RelatedExternal Link)
Dietmar Kreye [Thomas Arts; Markus Mohnen (Eds.)] (In Collection, 2002)
[own]
[+] A Compiler Backend for Generic Programming with ArraysDownload Link (RelatedExternal Link)
Dietmar Kreye (PhD Thesis, 2003)
[own]
[+] A Compiler Backend for Generic Programming with ArraysDownload Link (RelatedExternal Link)
Dietmar Kreye (Book, 2004)
[own]
[-] The Mechanical Evaluation of Expressions
P. J. Landin (Article, 1964)
[-] The Implementation of Functional Programming Languages
Peyton Jones, Simon L. (Book, 1987)
[own]
[+] Implementing Functional Languages: A TutorialDownload Link (RelatedExternal Link)
Peyton Jones, Simon L.; David R. Lester (Book, 1982)
[own]
[+] Lisa: A Lazy Interpreter for a Full Fledged λ-CalculusDownload Link
Carsten Rathsack; Sven-Bodo Scholz [Herbert Kuchen; Rita Loogen (Eds.)] (In Proceedings, 1992)
[-] A New Implementation Technique for Applicative Languages
D. A. Turner (Article, 1979)
[-] An Introduction to STSC's APL Compiler
J. Weigang (In Proceedings, 1989)

Responsible for the content of this site: Dietmar Kreye (My public PGP keys)
Last modified: Nov 10, 2004

Valid HTML 4.01!External Link    Valid CSS!External Link