Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
Springer, Sep 12, 2005 - Computers - 305 pages
This book constitutes the refereed proceedings of the 14th International Conference on Compiler Construction, CC 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. The 21 revised full papers presented together with the extended abstract of an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on compilation, parallelism, memory management, program transformation, tool demonstrations, and pointer analysis.
4 pages matching compiler correctness proof in this book
Results 1-3 of 4
What people are saying - Write a review
We haven't found any reviews in the usual places.
Compiler Construction: 12th International Conference, CC 2003 ..., Volume 12
Limited preview - 2003
Compilation of Generic Regular Path Expressions Using C++ Class
17 other sections not shown
abstract abstract syntax tree ADDG age-oriented collector algorithm allocated application benchmarks bytecode call sites compiler computation concurrent constant propagation constraints copy propagation cycle collector data slicing data structures debug-level debugging defined dependence dynamic rules efficient elements elimination escape analysis example execution existential variables fields function garbage collection garbage cycles global implementation inlining input instruction integer iteration Java Jikes RVM LNCS locations loop loop fusion malloc matching memory management method modules multithreaded objects on-the-fly operations optimizations PacLang parameters path expressions pattern performance PipeIntro pointer points-to analysis points-to sets polytopes processor Programming Languages prop-const queue reference counting reference-counting region representation rewrite rules runtime Section secure memory semantics sequence side-effect information SIGPLAN sliding view Software specification statement static analysis strategy struct super-block syntax task techniques template thread-local heap thread-local storage tion tool traversal tree typename vectorization XPath