{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":41,"n_cols":5,"rows_kept":41,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[5,2,5,3],[8,2,8,3],[9,2,9,3],[16,2,16,3],[16,4,16,5],[17,2,17,3],[17,4,17,5],[18,2,18,3],[18,4,18,5],[19,2,19,3],[20,2,20,3],[24,2,24,3],[25,2,25,3],[26,2,26,3],[27,2,27,3],[28,2,28,3],[29,2,29,3],[33,2,33,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996390037403316"]
[null,null,"Autore",null,"Stephenson N (Nicholas), <fl. 1674-1680.>"]
[null,null,"Titolo",null,"The royal almanack: or, A diary of the true places of the sun, moon, and planets, their rising, southing, and setting [[electronic resource] ] : high-water at London-bridge, with rules to serve other places after the new theory or tides, and directions of Sir Jonas Moore. To which are added, the eclipses, with a table of equations for the regulating curious pendulum-clocks, and movements to the sun. A table of the suns right ascension in time for every day at noon, and thirty of the most notable fixed stars. With the moon and other the planets appulses to the fixed stars, for the meridian of London, anno 1667. and of his Majesties happy reign 29. All done with great pains, according to the rules of art, for his Majesties use, and at his command. By N. Stephenson, one of his Majesties gunners"]
[null,null,"Pubbl/distr/stampa",null,"London, : printed by A.C. for the Company of Stationers, 1677"]
[null,null,"Descrizione fisica",null,"[60] p"]
[null,null,"Soggetti",null,"Almanacs, English"]
[{"$nulls":4},"Ephemerides"]
[{"$nulls":4},"Astrology"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Title page printed in red and black."]
[{"$nulls":4},"Gathered in 6's."]
[{"$nulls":4},"Signatures: A-E⁶."]
[{"$nulls":4},"Reproduction of the original in the Bodleian Library."]
[null,null,null,"Sommario/riassunto","eebo-0014"]
[null,"2.","Record Nr.",null,"UNINA9910141494003321"]
[null,null,"Autore",null,"Marlet Renaud"]
[null,null,"Titolo",null,"Program specialization [[electronic resource] /] / Renaud Marlet"]
[null,null,"Pubbl/distr/stampa",null,"Hoboken, N.J., : John Wiley & Sons, Inc., 2013"]
[null,null,"ISBN",null,"1-118-57698-5"]
[{"$nulls":4},"1-299-14643-0"]
[{"$nulls":4},"1-118-57700-0"]
[{"$nulls":4},"1-118-57686-1"]
[null,null,"Descrizione fisica",null,"1 online resource (560 p.)"]
[null,null,"Collana",null,"Computer engineering series"]
[null,null,"Disciplina",null,"005.1"]
[null,null,"Soggetti",null,"Program transformation (Computer programming)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"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"]
[{"$nulls":4},"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"]
[{"$nulls":4},"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. "]
[{"$nulls":4},"Techniques for executing precomputations; 2.1.6. Speculative specialization; 2.1.7. Interprocedural specialization; 2.1.8. Polyvariant specialization; 2.2. Termination of specialization"]
[{"$nulls":4},"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"]
[{"$nulls":4},"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"]
[{"$nulls":4},"3.2.2. Visualization of specialization information"]
[null,null,null,"Sommario/riassunto","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"]