Simple Compiler Correctness - a Tutorial on the Algebraic Approach PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Simple Compiler Correctness - a Tutorial on the Algebraic Approach PDF full book. Access full book title Simple Compiler Correctness - a Tutorial on the Algebraic Approach by University of Tasmania. Department of Information Sciences. Download full books in PDF and EPUB format.
Author: University of Tasmania. Department of Information Sciences
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages :
Get Book Here
Book Description
Author: University of Tasmania. Department of Information Sciences
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages :
Get Book Here
Book Description
Author: Augusto Sampaio
Publisher: World Scientific
ISBN: 9789810223915
Category : Computers
Languages : en
Pages : 216
Get Book Here
Book 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.
Author: Francis Lockwood Morris
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages : 270
Get Book Here
Book Description
Programming languages and their sets of meanings can be modelled by general operator algebras; seismic functions and compiling functions by homomorphisms of operator algebras. A restricted class of individual programs, machines, and computations can be modelled in a uniform manner by binary relational algebras. These two applications of algebra to computing are compatible: the semantic function provided by interpreting (running) one binary rational algebra on another is a homomorphism on an operator algebra whose elements are binary relational algebras. Under these mathematical tools, proofs can be provided systematically of the correctness of compilers for fragmentary programming languages, each embodying a single language 'feature'. Exemplary proofs are given for statement sequences, arithmetic expressions, Boolean expressions, assignment statements, and statements. Moreover, proofs of this sort can be combined to provide (synthetic) proofs for, in principle, many different complete programming languages. One example of such a synthesis is given.
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 180
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 120
Get Book Here
Book Description
Author: Jeffrey J. Joyce
Publisher:
ISBN:
Category : Compilers (Computer programs)
Languages : en
Pages : 76
Get Book Here
Book Description
Author: University of Tasmania
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 316
Get Book Here
Book Description
Author: William F. Dowling
Publisher:
ISBN:
Category : Computer and Information Science - Penn dissertations
Languages : en
Pages : 202
Get Book Here
Book Description
Author: Shahrzade Mazaher
Publisher:
ISBN:
Category : Compiling (Electronic computers)
Languages : en
Pages : 445
Get Book Here
Book Description
Author: Aarhus Universitet. Regionale EDB-center. Centre for Basic Research in Computer Science
Publisher:
ISBN:
Category :
Languages : en
Pages : 18
Get Book Here
Book Description
