| Invited Talk When Abstraction Fails Compilation Source-Level Debugging for Multiple Languages with Modest 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 Author Index |
内容加载中，请稍后...
商品评论（0条）