Skip to main content

AN ALGEBRAIC APPROACH TO COMPILER DESIGN

Augusto Sampaio

Abstract

The general purpose of this thesis is to inve8tigate the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a normal form which describes precisely the behaviour of the target machine. This is achieved by a. series of algebraic transformations which are proved from the more basic laws. The correctness of the compiler follows from the correctness of each algebraic transformation.

Institution
OUCL
Month
October
Number
PRG110
Pages
167
Year
1993