Richard Kelsey, Paul Hudak  Home/Search
Context Related
| nec.com/pub/kelsey...yprogtrans.ps.gz mumble.net/~kelsey...yprogtrans.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nec.com/homepages/kelsey/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Using concepts from denotational semantics, we have produced a very simple compiler that can be used to compile standard programming languages and produces object code as efficient as that of production compilers. The compiler is based entirely on source-to-source transformations performed on programs that have been translated into an intermediate language resembling the lambda calculus. The output of the compiler, while still in the intermediate language, can be trivially translated into... (Update)
Cited by: More
The VLISP PreScheme Front End - Ramsdell, Farmer, Guttman, Monk.. (1992) (Correct)
A Verified Compiler for VLISP PreScheme - Oliva, Ramsdell, Wand (1993) (Correct)
The Revised VLISP PreScheme Front End - Ramsdell (1993) (Correct)
Active bibliography (related documents): More All
0.3: Non-Strict Languages - Programming and Implementation - Wray, Fairbairn (1994) (Correct)
0.3: pi-RED+: A Compiling Graph-Reduction System for a.. - Gärtner, Kimms, Kluge (1992) (Correct)
0.2: Revised^4 Report on the Algorithmic Language Scheme - Clinger, (ed.), Rees.. (1991) (Correct)
Similar documents based on text: More All
0.2: Bibliography of Yale's Functional Programming Research Group (aka.. - Hudak (1994) (Correct)
0.1: Compiling Functional Languages - Bibliography - Tolmach (1996) (Correct)
0.1: Linguistic, Philosophical, and Pragmatic Aspects of.. - Shaumyan, Hudak (Correct)
Related documents from co-citation: More All
31: Compiling with Continuations (context) - Appel - 1992
25: ORBIT: An Optimizing Compiler for Scheme (context) - Kranz - 1988
16: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theo.. (context) - Stoy - 1977
BibTeX entry: (Update)
R. Kelsey and P. Hudak. Realistic compilation by program transformation. In ACM Conference on Principles of Programming Languages, pages 281-- 292, January 1989. http://citeseer.ist.psu.edu/kelsey89realistic.html More
@inproceedings{ kelsey89realistic,
author = "Richard Kelsey and Paul Hudak",
title = "Realistic Compilation by Program Transformation",
booktitle = "Conference Record of the Sixteenth Annual {ACM} Symposium on Principles of Programming Languages",
address = "Austin, Texas",
pages = "281--292",
year = "1989",
url = "citeseer.ist.psu.edu/kelsey89realistic.html" }
Citations (may not include all citations):220 Orbit: An optimizing compiler for Scheme (context) - Kranz, Kelsey et al. - 1986
55 call-by-value and the -calculus (context) - Plotkin - 1975
22 A semantics-directed compiler generator (context) - Paulson - 1982
17 An optimizing compiler for lexically scoped LISP (context) - Brooks, Gabriel et al. - 1982
14 Program reusability through program transformation (context) - Boyle, Muralidharan - 1984
11 Yale University Computer Science Department (context) - Rees, Adams et al. - 1984
6 MIT Artificial Intelligence Laboratory Technical Report (context) - Jr, for - 1978
5 Compilation by Program Transformation (context) - Kelsey - 1989
5 Closure generation based on viewing LAMBDA as EPSILON plus C.. - Feeley, Lapalme
4 Deriving sequential and parallel programs from pure Lisp Spe.. (context) - Boyle, Dritz et al.
3 Lambda lifting: Transforming programs into recursive equatio.. (context) - Johnsson - 1987
1 The Irvine program transformation catalogue Department of In.. (context) - Standish, harriman et al. - 1976
1 The Automatic Generation of Realistic Compilers from High-le.. (context) - Lee - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.neci.nj.nec.com/homepages/kelsey/): More
Higher-Order Distributed Objects - Cejtin, Jagannathan, Kelsey (1995) (Correct)
Tail-Recursive Stack Disciplines for an Interpreter - Kelsey (1993) (Correct)
A Correspondence between Continuation Passing Style and.. - Richard Kelsey (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC