Page:AITR-474.djvu/7



(A Dialect of LISP)

A Study in

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.