Buch, Englisch, 281 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 454 g
18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
Buch, Englisch, 281 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 454 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-642-00721-7
Verlag: Springer
This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software. Following a very thorough review process, 18 full research papers were selected from 72 submissions. Topics covered include traditional compiler construction, compiler analyses, runtime systems and tools, programming tools, techniques for specific domains, and the design and implementation of novel language constructs.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Compiler
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Prozedurale Programmierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Algorithmen & Datenstrukturen
- Mathematik | Informatik EDV | Informatik Betriebssysteme Windows Betriebssysteme
- Mathematik | Informatik EDV | Informatik Technische Informatik Wartung & Reparatur
Weitere Infos & Material
Challenges in Code Optimization of Parallel Programs.- Extensible Proof-Producing Compilation.- From Specification to Optimisation: An Architecture for Optimisation of Java Bytecode.- A Framework for Exploring Optimization Properties.- Compile-Time Analysis and Specialization of Clocks in Concurrent Programs.- Implementation and Use of Transactional Memory with Dynamic Separation.- Exploiting Speculative TLP in Recursive Programs by Dynamic Thread Prediction.- Live Debugging of Distributed Systems.- Parsing C/C++ Code without Pre-processing.- Faster Scannerless GLR Parsing.- Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming.- SSA Elimination after Register Allocation.- Register Spilling and Live-Range Splitting for SSA-Form Programs.- Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures.- Scheduling Tasks to Maximize Usage of Aggregate Variables in Place.- Dynamic Look Ahead Compilation: A Technique to Hide JIT Compilation Latencies in Multicore Environment.- Precise Management of Scratchpad Memories for Localising Array Accesses in Scientific Codes.- Blind Optimization for Exploiting Hardware Features.- How to CPS Transform a Monad.
