
Algebraic Approach To Compiler Design, An
Augusto Sampaio(Author)
World Scientific Publishing Co Pte Ltd
Will be published approx. on 19. April 1997
Book
Hardback
204 pages
978-981-02-2391-5 (ISBN)
Description
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 compilation, together with the fact that the entire process is formalised within a single and uniform semantic framework of a procedural language and its algberaic laws. Furthermore, by mechanising the approach using the OBJ3 term rewriting system it is shown that a prototype compiler is developed as a byproduct of its own proof of correctness.
More details
Series
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 235 mm
Width: 157 mm
Thickness: 16 mm
Weight
454 gr
ISBN-13
978-981-02-2391-5 (9789810223915)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification