Compiler Construction [[electronic resource] ] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / / edited by Rajiv Gupta
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Compiler Construction [[electronic resource] ] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / / edited by Rajiv Gupta
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Edizione: | 1st ed. 2010. |
| Descrizione fisica: | 1 online resource (XII, 326 p. 119 illus.) |
| Disciplina: | 005.1 |
| Soggetto topico: | Software engineering |
| Computer networks | |
| Compilers (Computer programs) | |
| Computer programming | |
| Machine theory | |
| Software Engineering | |
| Computer Communication Networks | |
| Compilers and Interpreters | |
| Programming Techniques | |
| Formal Languages and Automata Theory | |
| Persona (resp. second.): | GuptaRajiv |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. |
| Titolo autorizzato: | Compiler Construction |
| ISBN: | 1-280-38583-9 |
| 9786613563750 | |
| 3-642-11970-0 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465340003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 6011