An Algebraic Approach to Compiler Design is popular PDF and ePub book, written by Augusto Sampaio in 1997, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, An Algebraic Approach to Compiler Design can be Read Online from any device for your convenience.
An Algebraic Approach to Compiler Design Book PDF Summary
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.
Detail Book of An Algebraic Approach to Compiler Design PDF
- Author : Augusto Sampaio
- Release : 29 September 1997
- Publisher : World Scientific
- ISBN : 9810223919
- Genre : Computers
- Total Page : 216 pages
- Language : English
- PDF File Size : 12,6 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book An Algebraic Approach to Compiler Design by Augusto Sampaio, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.