Program Specialization.

Mostrar otras versiones (1)

This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specia...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Marlet, Renaud
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Wiley, 2013.
Colección:ISTE.
Temas:
Program transformation (Computer programming)
Transformation de programme (Informatique)
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_ocn827208497
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|||||||||
008 130211s2013 enk o 000 0 eng d
040 |a EBLCP  |b eng  |e pn  |c EBLCP  |d OCLCQ  |d CN3GA  |d OCLCO  |d OCLCF  |d YDXCP  |d OCLCQ  |d OCLCO  |d DEBSZ  |d OCLCQ  |d MERUC  |d OCLCQ  |d ZCU  |d U3W  |d OCLCQ  |d DKC  |d OCLCQ  |d UKAHL  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
020 |a 9781118576861 
020 |a 1118576861 
029 1 |a AU@  |b 000055872294 
029 1 |a DEBBG  |b BV044049928 
029 1 |a DEBSZ  |b 431321825 
035 |a (OCoLC)827208497 
050 4 |a QA76.6 M35946 2012 
082 0 4 |a 005.1 
049 |a UAMI 
100 1 |a Marlet, Renaud. 
245 1 0 |a Program Specialization. 
260 |a London :  |b Wiley,  |c 2013. 
300 |a 1 online resource (560 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a ISTE 
505 0 |a Title Page; Contents; Chapter 1. Main Principles of Program Specialization; 1.1. Specialized program; 1.1.1. Program specialization; 1.1.2. Context of specialization; 1.1.3. Specialization of a fragment of program; 1.1.4. Partial computations; 1.1.5. Range of specializations; 1.1.6. Equivalence between the specialized program and the generic program; 1.2. Specializing to improve performance; 1.2.1. Execution time; 1.2.2. Memory space; 1.2.3. Effect of the compiler; 1.2.4. Opacity of the code generated; 1.2.5. Effect of the memory cache; 1.3. Automatic specialization; 1.3.1. Specializer. 
505 8 |a 1.3.2. Operation of specialization1.3.3. Execution times; 1.3.4. Advantages and disadvantages to automatic specialization; 1.4. Main applications of specialization; 1.4.1. Application 1: compiling using an interpreter; 1.4.2. Application 2: transforming an interpreter into a compiler; 1.4.3. Application 3: creating a compiler generator; 1.5. Specialization times; 1.5.1. Compile-time specialization; 1.5.2. Runtime specialization; 1.5.3. Specialization server; 1.5.4. Specialized code cache; 1.6. Financial viability of specialization; 1.6.1. Specialization gain; 1.6.2. Specialization time. 
505 8 |a 1.6.3. Size of the specializer1.6.4. Specialization before execution; 1.6.5. Runtime specialization and break-even point; Chapter 2. Specialization Techniques; 2.1. Transforming specialization programs; 2.1.1. Partial evaluation; 2.1.2. Specialization strategies; 2.1.3. Formulation of specialization using general transformations; 2.1.4. Formulation of specialization using ad hoc transformations; 2.1.5. Techniques for executing precomputations; 2.1.6. Speculative specialization; 2.1.7. Interprocedural specialization; 2.1.8. Polyvariant specialization; 2.2. Termination of specialization. 
505 8 |a 2.2.1. Online control2.2.2. Offline control; 2.3. Correctness of specialization; 2.3.1. Soundness, completeness and correctness; 2.3.2. Remedying laziness; 2.3.3. Execution error handling; 2.3.4. Portability; 2.3.5. Pre-processor; 2.4. Other forms of specialization; 2.4.1. Driving and supercompilation; 2.4.2. Generalized partial computation; 2.4.3. Configurable partial computation; 2.4.4. Program slicing; 2.4.5. Comparison with a compiler; 2.4.6. Comparison with a multilevel language; Chapter 3. Offline Specialization; 3.1. Main principles of offline specialization. 
505 8 |a 3.1.1. Specification of input binding times3.1.2. Binding-time analysis; 3.1.3. Specialization by binding-time interpretation; 3.1.4. Action analysis; 3.1.5. Specialization by action interpretation; 3.1.6. Generating extension; 3.1.7. Compiler generator; 3.1.8. Generation of a specialized program; 3.1.9. Offline specializer; 3.1.10. Correction of offline specialization; 3.1.11. Specialization grammar; 3.1.12. Polyvariant offline specialization; 3.2. Compared advantages of offline specialization; 3.2.1. Evaluation a priori of the specialization degree. 
500 |a 3.2.2. Visualization of specialization information. 
520 |a This book presents the principles and techniques of program specialization - a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illustration, it describes the architecture of Tempo, an offline program specializer for C that can also specialize code at runtime, and provides figures for concrete applications in various domains. Technical details address issues related to program analysis precision, value reification, incomplete program specialization, strategies to exploit specialized program, incremental specialization, and data speci. 
588 0 |a Print version record. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Program transformation (Computer programming) 
650 6 |a Transformation de programme (Informatique) 
650 7 |a Program transformation (Computer programming)  |2 fast 
758 |i has work:  |a Program specialization (Text)  |1 https://id.oclc.org/worldcat/entity/E39PD3BMg4Q3R38fpQqV78h9gq  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Marlet, Renaud.  |t Program Specialization.  |d London : Wiley, ©2013  |z 9781848213999 
830 0 |a ISTE. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1117267  |z Texto completo 
938 |a Askews and Holts Library Services  |b ASKH  |n AH25046143 
938 |a EBL - Ebook Library  |b EBLB  |n EBL1117267 
938 |a YBP Library Services  |b YANK  |n 9995375 
994 |a 92  |b IZTAP 

Ejemplares similares