Amazon cover image
Image from Amazon.com

Compiler construction : 14th international conference, CC 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Rastislav Bodik (ed.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 3443.Publication details: Berlin ; New York : Springer, ©2005.Description: 1 online resource (xi, 304 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540319856
  • 3540319859
  • 3540254110
  • 9783540254119
Other title:
  • CC 2005
  • Joint European Conferences on Theory and Practice of Software
  • European Conferences on Theory and Practice of Software
  • ETAPS 2005
Subject(s): Genre/Form: Additional physical formats: Print version:: Compiler construction.DDC classification:
  • 005.4/53 22
LOC classification:
  • QA76.76.C65 C32 2005eb
Other classification:
  • SS 4800
  • 004
  • DAT 383f
Online resources:
Contents:
Invited Talk -- When Abstraction Fails -- Compilation -- Source-Level Debugging for Multiple Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class Templates -- XML Goes Native: Run-Time Representations for Xtatic -- Parallelism -- Boosting the Performance of Multimedia Applications Using SIMD Instructions -- Task Partitioning for Multi-core Network Processors -- Experiences with Enumeration of Integer Projections of Parametric Polytopes -- Generalized Index-Set Splitting -- Memory Management -- Age-Oriented Concurrent Garbage Collection -- Optimizing C Multithreaded Memory Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations -- Data Slicing: Separating the Heap into Independent Regions -- A Compiler-Based Approach to Data Security -- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules -- Verification of Source Code Transformations by Program Equivalence Checking -- Tool Demonstrations -- Hob: A Tool for Verifying Data Structure Consistency -- Jazz: A Tool for Demand-Driven Structural Testing -- Tiger -- An Interpreter Generation Tool -- CodeSurfer/x86--A Platform for Analyzing x86 Executables -- Pointer Analysis -- A Study of Type Analysis for Speculative Method Inlining in a JIT Environment -- Completeness Analysis for Incomplete Object-Oriented Programs -- Using Inter-Procedural Side-Effect Information in JIT Optimizations.
Summary: "The program committee is pleased to present the proceedings of the 14th International Conference on Compiler Construction (CC 2005) held April 4-5, 2005, in Edinburgh, UK, as part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005)."
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

"The program committee is pleased to present the proceedings of the 14th International Conference on Compiler Construction (CC 2005) held April 4-5, 2005, in Edinburgh, UK, as part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005)."

Print version record.

Invited Talk -- When Abstraction Fails -- Compilation -- Source-Level Debugging for Multiple Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class Templates -- XML Goes Native: Run-Time Representations for Xtatic -- Parallelism -- Boosting the Performance of Multimedia Applications Using SIMD Instructions -- Task Partitioning for Multi-core Network Processors -- Experiences with Enumeration of Integer Projections of Parametric Polytopes -- Generalized Index-Set Splitting -- Memory Management -- Age-Oriented Concurrent Garbage Collection -- Optimizing C Multithreaded Memory Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations -- Data Slicing: Separating the Heap into Independent Regions -- A Compiler-Based Approach to Data Security -- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules -- Verification of Source Code Transformations by Program Equivalence Checking -- Tool Demonstrations -- Hob: A Tool for Verifying Data Structure Consistency -- Jazz: A Tool for Demand-Driven Structural Testing -- Tiger -- An Interpreter Generation Tool -- CodeSurfer/x86--A Platform for Analyzing x86 Executables -- Pointer Analysis -- A Study of Type Analysis for Speculative Method Inlining in a JIT Environment -- Completeness Analysis for Incomplete Object-Oriented Programs -- Using Inter-Procedural Side-Effect Information in JIT Optimizations.

Powered by Koha