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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Krishnamurthi, Shriram (Επιμελητής έκδοσης), Odersky, Martin (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4420
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.; Artificial Intelligence (incl. Robotics).

Πίνακας περιεχομένων:

• 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.