Accession Number:

ADA256821

Title:

Micrometer FX/DLX: A Pedagogic Compiler

Descriptive Note:

Doctoral thesis

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE

Report Date:

1992-03-01

Pagination or Media Count:

167.0

Abstract:

This report provides an overview of the microns FXDLX complier. The source language for the compiler is microns FX, a Lisp dialect that is a subset of FX-91. microns FX is statically typed, and employs a type reconstruction algorithm to eliminate the need for type declarations. The compiler produces assembly code for the DLX, a simplified RISC architecture introduced by Patterson and Hennessy in their text, Computer Architecture A Quantitative Approach. microns FXDLX was written for the primary purpose of conducting experiments concerning basic features of programming language implementation. For example, it is used in the MIT graduate-level programming language course, where students are expected to read, understand, and modify the compiler, in order to investigate the effects of various optimizations. The organization of the compiler and its intermediate forms are described via examples. The register usage, memory layouts, and calling conventions are explained. Some suggested experiments are presented, and the annotated implementation of micron FXDLX is provided. The report is not entirely self-contained, as it does not completely describe the details of the source and target languages. Programming Languages, Types, Effects, Inference, Polymorphism Compilation, Optimization.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE