Compiler Construction
Springer Berlin (Verlag)
978-3-540-25411-9 (ISBN)
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.
Erscheint lt. Verlag | 24.3.2005 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XII, 308 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 550 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Compiler • Compiler Construction • Compiler Optimization • language paradigms • Language Processing • Optimization • parsing • program analysis • Program Compilation • Programming Language Design • Programming Language Implementation • Program Transformation • verification |
ISBN-10 | 3-540-25411-0 / 3540254110 |
ISBN-13 | 978-3-540-25411-9 / 9783540254119 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich