Invited Opening Talk |
Program Analysis for Implicit Computational Complexity / Neil D. Jones |
Contributed Papers |
Deriving Pre-conditions for Array Bound Check Elimination / Wei-Ngan Chin ; Siau-Cheng Khoo ; Dana N. Xu |
Type Systems for Useless-Variable Elimination / Adam Fischbach ; John Hannan |
Boolean Constraints for Binding-Time Analysis / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann ; Harald Søndergaard |
Constraint Abstractions / Jorgen Gustavsson ; Josef Svenningsson |
Implementing Circularity Using Partial Evaluation / Julia L. Lawall |
Combining Forward and Backward Analyses of Temporal Properties / Damien Massé |
Numerical Power Analysis / Isabella Mastroeni |
Run-Time Bytecode Specialization / Hidehiko Masuhara ; Akinori Yonezawa |
A New Numerical Abstract Domain Based on Difference-Bound Matrices / Antoine Miné |
Partial Evaluation for Class-Based Object-Oriented Languages / Ulrik P. Schultz |
Driving in the Jungle / Jens Peter Secher |
Higher-Order Pattern Matching for Automatically Applying Fusion Transformations / Ganesh Sittampalam ; Oege de Moor |
Dynamic Partial Evaluation / Gregory T. Sullivan |
Tag Elimination and Jones-Optimality / Walid Taha ; Henning Makholm ; John Hughes |
Invited Closing Talk |
Bottom-Up Deduction with Deletion and Priorities / Harald Ganzinger |
Author Index |
Invited Opening Talk |
Program Analysis for Implicit Computational Complexity / Neil D. Jones |
Contributed Papers |
Deriving Pre-conditions for Array Bound Check Elimination / Wei-Ngan Chin ; Siau-Cheng Khoo ; Dana N. Xu |
Type Systems for Useless-Variable Elimination / Adam Fischbach ; John Hannan |
Boolean Constraints for Binding-Time Analysis / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann ; Harald Søndergaard |