Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings / / edited by Shriram Krishnamurthi, Martin Odersky
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings / / edited by Shriram Krishnamurthi, Martin Odersky
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Edizione: | 1st ed. 2007. |
| Descrizione fisica: | 1 online resource (244 p.) |
| Disciplina: | 005.453 |
| Soggetto topico: | Compilers (Computer programs) |
| Computer science | |
| Machine theory | |
| Software engineering | |
| Artificial intelligence | |
| Compilers and Interpreters | |
| Computer Science Logic and Foundations of Programming | |
| Formal Languages and Automata Theory | |
| Software Engineering | |
| Artificial Intelligence | |
| Persona (resp. second.): | OderskyMartin |
| KrishnamurthiShriram | |
| Note generali: | International conference proceedings. |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Architecture -- New Algorithms for SIMD Alignment -- Preprocessing Strategy for Effective Modulo Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve Reference-Counting Garbage Collectors -- Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks -- Correcting the Dynamic Call Graph Using Control-Flow Constraints -- Obfuscating Java: The Most Pain for the Least Gain -- Register Allocation -- A Fast Cutting-Plane Algorithm for Optimal Coalescing -- Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation -- Extended Linear Scan: An Alternate Foundation for Global Register Allocation -- Program Analysis -- Program Refactoring, Program Synthesis, and Model-Driven Development -- A Practical Escape and Effect Analysis for Building Lightweight Method Summaries -- Layout Transformations for Heap Objects Using Static Access Patterns -- A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees -- A Declarative Framework for Analysis and Optimization. |
| Titolo autorizzato: | Compiler Construction |
| ISBN: | 1-280-95151-6 |
| 9786610951512 | |
| 3-540-71229-1 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484100503321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 4420