Von dem Buch Algebraic Approach To Compiler Design, An haben wir 3 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sampaio Augusto Sampaio: Algebraic Approach To Compiler Design, An (ISBN: 9789814499927) World Scientific Publishing Company, in Englisch, auch als eBook.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
71%: Sampaio, A. and Sampaio, Augusto: An Algebraic Approach to Compiler Design: 4 (AMAST Series in Computing) (ISBN: 9789810223915) Hackensack, New Jersey, U.S.A.: World Scientific Pub Co Inc, Erstausgabe, in Englisch, Broschiert.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
67%: Augusto, Sampaio: Algebraic Approach To Compiler Design, An als eBook Download von (ISBN: 9789812830685) auch als eBook.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Algebraic Approach To Compiler Design, An - 10 Angebote vergleichen
Bester Preis: € 29,07 (vom 01.03.2023)1
Algebraic Approach To Compiler Design, An
EN NW EB DL
ISBN: 9789814499927 bzw. 9814499927, in Englisch, World Scientific Publishing Company, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Despatched same working day before 3pm.
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.
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.
2
An Algebraic Approach to Compiler Design (1997)
EN HC US FE
ISBN: 9789810223915 bzw. 9810223919, in Englisch, 188 Seiten, World Scientific Pub Co Inc, gebundenes Buch, gebraucht, Erstausgabe.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, Chrioni's Books.
This work 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 acheived 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 formalized within a single and uniform semantic framework of a procedural language and its algebraic laws. Furthermore, by mechanizing 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. Hardcover, Ausgabe: 1st, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 1997-01-15, Studio: World Scientific Pub Co Inc, Verkaufsrang: 2667343.
Von Händler/Antiquariat, Chrioni's Books.
This work 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 acheived 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 formalized within a single and uniform semantic framework of a procedural language and its algebraic laws. Furthermore, by mechanizing 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. Hardcover, Ausgabe: 1st, Label: World Scientific Pub Co Inc, World Scientific Pub Co Inc, Produktgruppe: Book, Publiziert: 1997-01-15, Studio: World Scientific Pub Co Inc, Verkaufsrang: 2667343.
4
Algebraic Approach To Compiler Design, An als eBook Download von Augusto Sampaio
DE NW EB
ISBN: 9789812830685 bzw. 9812830685, in Deutsch, World Scientific Publishing Company, neu, E-Book.
Algebraic Approach To Compiler Design, An: Augusto Sampaio Algebraic Approach To Compiler Design, An: Augusto Sampaio.
Lade…