000			03922nam a22003735i 4500
001			394547
003			ES-MaUEC
005			20230102123140.0
007			cr nn 008mamaa
008			221208s2022 sz | s |||| 0|eng d
020			_a9783030805159
024	7		_a10.1007/978-3-030-80515-9 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC
245	1	0	_aSSA-based Compiler Design _cedited by Fabrice Rastello, Florent Bouchez Tichadou
250			_a1st edition 2022
264		1	_aCham _bSpringer International Publishing _c2022
300			_a1 recurso en línea (XVII, 382 páginas) _b148 ilustraciones, 32 ilustraciones a color
336			_atexto _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
347			_aarchivo de texto _bPDF
505	0		_a1. 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			_aThis 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).
700	1		_aRastello, Fabrice _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aBouchez Tichadou, Florent _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
776	0	8	_iPrinted edition: _z9783030805142
776	0	8	_iPrinted edition: _z9783030805166
776	0	8	_iPrinted edition: _z9783030805173
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-80515-9 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
988			_aSpringer_Computer_2022
999			_c394547 _d394547