An Algebraic Approach to Compiler Design

An Algebraic Approach to Compiler Design
Author :
Publisher : World Scientific
Total Pages : 216
Release :
ISBN-10 : 9810223919
ISBN-13 : 9789810223915
Rating : 4/5 (915 Downloads)

Book Synopsis An Algebraic Approach to Compiler Design by : Augusto Sampaio

Download or read book An Algebraic Approach to Compiler Design written by Augusto Sampaio and published by World Scientific. This book was released on 1997 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


An Algebraic Approach to Compiler Design Related Books

An Algebraic Approach to Compiler Design
Language: en
Pages: 216
Authors: Augusto Sampaio
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: World Scientific

GET EBOOK

This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adop
Modular Compiler Verification
Language: en
Pages: 286
Authors: Markus Müller-Olm
Categories: Computers
Type: BOOK - Published: 1997-08-06 - Publisher: Lecture Notes in Computer Science

GET EBOOK

This is the first comprehensive book on hypermedia and the World Wide Web that includes features of the second generation systems. Definitions, history, current
Principles of Compilers
Language: en
Pages: 458
Authors: Yunlin Su
Categories: Computers
Type: BOOK - Published: 2011-11-22 - Publisher: Springer Science & Business Media

GET EBOOK

"Principles of Compilers: A New Approach to Compilers Including the Algebraic Method" introduces the ideas of the compilation from the natural intelligence of h
Algebraic Informatics
Language: en
Pages: 270
Authors: Franz Winkler
Categories: Computers
Type: BOOK - Published: 2011-06-21 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011. The
FME 2002: Formal Methods - Getting IT Right
Language: en
Pages: 636
Authors: Lars-Henrik Eriksson
Categories: Business & Economics
Type: BOOK - Published: 2002-07-10 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002. The 31