MARC details
| 000 -CABECERA |
| campo de control de longitud fija |
03922nam a22003735i 4500 |
| 001 - NÚMERO DE CONTROL |
| campo de control |
394547 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
| campo de control |
ES-MaUEC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
| campo de control |
20230102123140.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL |
| campo de control de longitud fija |
cr nn 008mamaa |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
| campo de control de longitud fija |
221208s2022 sz | s |||| 0|eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
| Número Internacional Estándar del Libro |
9783030805159 |
| 024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES |
| Número estándar o código |
10.1007/978-3-030-80515-9 |
| Fuente del número o código |
doi |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
| Centro catalogador/agencia de origen |
ES-MaUEC |
| Lengua de catalogación |
spa |
| Centro/agencia transcriptor |
ES-MaUEC |
| 245 10 - MENCIÓN DE TÍTULO |
| Título |
SSA-based Compiler Design |
| Mención de responsabilidad, etc. |
edited by Fabrice Rastello, Florent Bouchez Tichadou |
| 250 ## - MENCIÓN DE EDICIÓN |
| Mención de edición |
1st edition 2022 |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
| Producción, publicación, distribución, fabricación y copyright |
Cham |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer International Publishing |
| Fecha de producción, publicación, distribución, fabricación o copyright |
2022 |
| 300 ## - DESCRIPCIÓN FÍSICA |
| Extensión |
1 recurso en línea (XVII, 382 páginas) |
| Otras características físicas |
148 ilustraciones, 32 ilustraciones a color |
| 336 ## - TIPO DE CONTENIDO |
| Término de tipo de contenido |
texto |
| Código de tipo de contenido |
txt |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
| Nombre/término del tipo de medio |
electrónico |
| Código del tipo de medio |
c |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
| Nombre/término del tipo de soporte |
recurso electrónico |
| Código del tipo de soporte |
cr |
| Fuente |
rdacarrier |
| 347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL |
| Tipo de archivo |
archivo de texto |
| Formato de codificación |
PDF |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
| Nota de contenido con formato |
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 ## - SUMARIO, ETC. |
| Sumario, 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). |
| 988 ## - NOTA LOCAL 598 |
| Nota local 598 (boletines) |
Springer_Computer_2022 |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
| Nombre de persona |
Rastello, Fabrice |
| Término indicativo de función/relación |
editor literario |
| Código de función/relación |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
| Nombre de persona |
Bouchez Tichadou, Florent |
| Término indicativo de función/relación |
editor literario |
| Código de función/relación |
edt |
| -- |
http://id.loc.gov/vocabulary/relators/edt |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783030805142 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783030805166 |
| 776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL |
| Información de relación/Frase instructiva de referencia |
Printed edition: |
| Número Internacional Estándar del Libro |
9783030805173 |
| 856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS |
| Identificador Uniforme del Recurso |
https://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-80515-9 |
| Nota pública |
Acceso a este recurso digital (usuarios Universidad Europea de Madrid) |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
| Fuente del sistema de clasificación o colocación |
Library of Congress Classification |
| Tipo de ítem Koha |
LIBRO-E NO PRÉSTAMO |