SSA-based Compiler Design (Record no. 176021)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 04298nam a22005415i 4500 |
001 - CONTROL NUMBER | |
control field | 978-3-030-80515-9 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20240423125248.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 221208s2022 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783030805159 |
-- | 978-3-030-80515-9 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/978-3-030-80515-9 |
Source of number or code | doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | TK7895.E42 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UKM |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | TEC008010 |
Source | bisacsh |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | UKM |
Source | thema |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 006.22 |
Edition number | 23 |
245 10 - TITLE STATEMENT | |
Title | SSA-based Compiler Design |
Medium | [electronic resource] / |
Statement of responsibility, etc | edited by Fabrice Rastello, Florent Bouchez Tichadou. |
250 ## - EDITION STATEMENT | |
Edition statement | 1st ed. 2022. |
264 #1 - | |
-- | Cham : |
-- | Springer International Publishing : |
-- | Imprint: Springer, |
-- | 2022. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | XVII, 382 p. 148 illus., 32 illus. in color. |
Other physical details | online resource. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | 1. Introduction -- 2. Properties and flavors -- 3. Standard Construction and Destruction Algorithms -- 4. Advanced Construction Algorithms for SSA -- 5. SSA Reconstruction -- 6. Functional Representations of SSA -- 7. Introduction -- 8. Propagating Information using SSA -- 9. Liveness -- 10. Loop Tree and Induction Variables -- 11. Redundancy Elimination -- 12. Introduction -- 13. Static Single Information form -- 14. Graphs and Gating Functions -- 15. Psi-SSA Form -- 16. Hashed SSA form: HSSA -- 17. Array SSA Form -- 18. SSA Form and Code Generation -- 19. Instruction Code Selection -- 20. If-Conversion -- 21. SSA Destruction for Machine Code -- 22. Register Allocation -- 23. Hardware Compilation using SSA -- 24. Building SSA in a Compiler for PHP. |
520 ## - SUMMARY, ETC. | |
Summary, etc | This book provides readers with a single-source reference to static-single assignment (SSA)-based compiler design. It is the first (and up to now only) book that covers in a deep and comprehensive way how an optimizing compiler can be designed using the SSA form. After introducing vanilla SSA and its main properties, the authors describe several compiler analyses and optimizations under this form. They illustrate how compiler design can be made simpler and more efficient, thanks to the SSA form. This book also serves as a valuable text/reference for lecturers, making the teaching of compilers simpler and more effective. Coverage also includes advanced topics, such as code generation, aliasing, predication and more, making this book a valuable reference for advanced students and practicing engineers. Provides the first, single-source reference to the widely adopted, static-single assignment (SSA) form of compiler design; Offers readers state-of-the-art, advanced compiler optimization techniques; Includes contributions by subject experts from globally recognized compiler research centers and engineering practitioners at companies such as Google, Facebook, IBM, and Amazon; Employs a textbook style of presentation throughout, with coherent and uniform structure, sequence, terminology, and notations; Offers valuable content both for lecturers (such as vanilla SSA, construction, destruction, propagation, liveness) and advanced compiler developers (including if-conversion, code-selection, hardware compilation, scalar evolution, register allocation, Gated-SSA, Psi-SSA, Hashed-SSA, Array-SSA, SSI). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Embedded computer systems. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers (Computer programs). |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Microprocessors. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Computer architecture. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Embedded Systems. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Compilers and Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Processor Architectures. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Rastello, Fabrice. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Bouchez Tichadou, Florent. |
Relator term | editor. |
Relator code | edt |
-- | http://id.loc.gov/vocabulary/relators/edt |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY | |
Title | Springer Nature eBook |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783030805142 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783030805166 |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Display text | Printed edition: |
International Standard Book Number | 9783030805173 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-030-80515-9">https://doi.org/10.1007/978-3-030-80515-9</a> |
912 ## - | |
-- | ZDB-2-SCS |
912 ## - | |
-- | ZDB-2-SXCS |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks-CSE-Springer |
No items available.