An Algebraic Approach to Compiler Design
Augusto Sampaio
Gebundenes Buch

An Algebraic Approach to Compiler Design

Versandkostenfrei!
Versandfertig in über 4 Wochen
87,99 €
inkl. MwSt.
PAYBACK Punkte
44 °P sammeln!
This book investigates 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 general normal form, capable of representing an arbitrary target machine. This is achieved by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to compilat...