|
An algebraic approach to compiler design
Augusto Sampaio
DPhil thesis October 1993, 157 pages,
ISBN 0-902928-87-2
The general purpose of this thesis is to investigate 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 basic
laws. The correctness of the compiler follows from the correctness of
each algebraic transformation.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl