Amast Series In Computing: Algebraic Approach To Compiler Design, An (PDF)
(Sprache: Englisch)
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...
Leider schon ausverkauft
eBook
144.99 €
72 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Amast Series In Computing: Algebraic Approach To Compiler Design, An (PDF)“
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.
Bibliographische Angaben
- Autor: Augusto Sampaio
- 1997, 204 Seiten, Englisch
- Verlag: World Scientific Publishing Company
- ISBN-10: 9812830685
- ISBN-13: 9789812830685
- Erscheinungsdatum: 19.04.1997
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 23 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Amast Series In Computing: Algebraic Approach To Compiler Design, An"
0 Gebrauchte Artikel zu „Amast Series In Computing: Algebraic Approach To Compiler Design, An“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Amast Series In Computing: Algebraic Approach To Compiler Design, An".
Kommentar verfassen