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 / [electronic resource] : edited by Shriram Krishnamurthi, Martin Odersky. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - XIV, 236 p. online resource. - Lecture Notes in Computer Science, 4420 0302-9743 ; . - Lecture Notes in Computer Science, 4420 .

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.

9783540712299

10.1007/978-3-540-71229-9 doi


Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial Intelligence (incl. Robotics).

QA76.9.L63 QA76.5913 QA76.63

005.1015113
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha