東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

SSA-based compiler design

Rastello, Fabrice.

Linked to FindBook

Google Book

Amazon

博客來

SSA-based compiler design

Record Type:	Electronic resources : Monograph/item
Title/Author:	SSA-based compiler design/ edited by Fabrice Rastello, Florent Bouchez Tichadou.
other author:	Rastello, Fabrice.
Published:	Cham :Springer International Publishing : : 2022.,
Description:	xvii, 382 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Compilers (Computer programs) -
Online resource:	https://doi.org/10.1007/978-3-030-80515-9
ISBN:	9783030805159

SSA-based compiler design
SSA-based compiler design[electronic resource] /edited by Fabrice Rastello, Florent Bouchez Tichadou. - Cham :Springer International Publishing :2022. - xvii, 382 p. :ill. (some col.), digital ;24 cm.

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.

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)

ISBN: 9783030805159

Standard No.: 10.1007/978-3-030-80515-9doiSubjects--Topical Terms:

535138
Compilers (Computer programs)

LC Class. No.: QA76.76.C65

Dewey Class. No.: 005.453

SSA-based compiler design
LDR:03363nmm a2200325 a 4500 001 2306747
003 DE-He213
005 20221208200700.0
006 m d
007 cr nn 008maaau
008 230421s2022 sz s 0 eng d
020 $a 9783030805159 $q (electronic bk.)
020 $a 9783030805142 $q (paper)
024 7 $a 10.1007/978-3-030-80515-9 $2 doi
035 $a 978-3-030-80515-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.C65
072 7 $a UKM $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a UKM $2 thema
082 0 4 $a 005.453 $2 23
090 $a QA76.76.C65 $b S774 2022
245 0 0 $a SSA-based compiler design $h [electronic resource] / $c edited by Fabrice Rastello, Florent Bouchez Tichadou.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xvii, 382 p. : $b ill. (some col.), digital ; $c 24 cm.
505 0 $a 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 $a 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 $a Compilers (Computer programs) $3 535138
650 0 $a Compiling (Electronic computers) $3 950178
700 1 $a Rastello, Fabrice. $3 3611242
700 1 $a Tichadou, Florent Bouchez. $3 3611243
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
856 4 0 $u https://doi.org/10.1007/978-3-030-80515-9
950 $a Computer Science (SpringerNature-11645)