Compiler Design Analysis and Transformation /

While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source a...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Seidl, Helmut (Autor), Wilhelm, Reinhard (Autor), Hack, Sebastian (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edición:1st ed. 2012.
Temas:
Computer programming.
Compilers (Computer programs).
Programming Techniques.
Compilers and Interpreters.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-17548-0
003 DE-He213
005 20220120101031.0
007 cr nn 008mamaa
008 120813s2012 gw | s |||| 0|eng d
020 |a 9783642175480  |9 978-3-642-17548-0 
024 7 |a 10.1007/978-3-642-17548-0  |2 doi 
050 4 |a QA76.6-76.66 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UM  |2 thema 
082 0 4 |a 005.11  |2 23 
100 1 |a Seidl, Helmut.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Compiler Design  |h [electronic resource] :  |b Analysis and Transformation /  |c by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack. 
250 |a 1st ed. 2012. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2012. 
300 |a XII, 177 p. 96 illus., 91 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Introduction --  Program Semantics -- Transformations -- Static Analysis -- Imperative Programs -- Functional Programs -- References -- Index. 
520 |a While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined - ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available.   The book deals with the optimization phase of compilers. In this phase, programs are transformed in order to increase their efficiency. To preserve the semantics of the programs in these transformations, the compiler has to meet the associated applicability conditions. These are checked using static analysis of the programs. In this book the authors systematically describe the analysis and transformation of imperative and functional programs. In addition to a detailed description of important efficiency-improving transformations, the book offers a concise introduction to the necessary concepts and methods, namely to operational semantics, lattices, and fixed-point algorithms.   This book is intended for students of computer science. The book is supported throughout with examples, exercises and program fragments. 
650 0 |a Computer programming. 
650 0 |a Compilers (Computer programs). 
650 1 4 |a Programming Techniques. 
650 2 4 |a Compilers and Interpreters. 
700 1 |a Wilhelm, Reinhard.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a Hack, Sebastian.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642175473 
776 0 8 |i Printed edition:  |z 9783642175497 
776 0 8 |i Printed edition:  |z 9783662507162 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-17548-0  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 

Ejemplares similares