Page:AITR-474.djvu/7

From Wikisource
Jump to: navigation, search
This page has been proofread, but needs to be validated.


RABBIT:

A Compiler for SCHEME

(A Dialect of LISP)


A Study in

Compiler Optimization


Based on Viewing
LAMBDA as RENAME
and
PROCEDURE CALL as GOTO


using the techniques of

Macro Definition of Control and Environment Structures
Source-to-Source Transformation
Procedure Integration
and
Tail-Recursion


Guy Lewis Steele Jr.

Massachusetts Institute of Technology

May 1978


Revised version of a dissertation submitted (under the title "Compiler Optimization Based on Viewing LAMBDA as RENAME plus GOTO") to the Department of Electrical Engineering and Computer Science on May 12, 1977, in partial fulfillment of the requirements for the degree of Master of Science.