Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2001.
|
| Series: | Lecture notes in computer science ;
2053. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Program Analysis for Implicit Computational Complexity / Neil D. Jones
- Deriving Preconditions for Array Bound Check Elimination / Wei-Ngan Chin, Siau-Cheng Khoo and Dana N. Xu
- Type Systems for Useless-Variable Elimination / Adam Fischbach and John Hannan
- Boolean Constraints for Binding-Time Analysis / Kevin Glynn, Peter J. Stuckey and Martin Sulzmann / [and others]
- Constraint Abstractions / Jorgen Gustavsson and Josef Svenningsson
- Implementing Circularity Using Partial Evaluation / Julia L. Lawall
- Combining Forward and Backward Analyses of Temporal Properties / Damien Masse
- Numerical Power Analysis / Isabella Mastroeni
- Run-Time Bytecode Specialization / Hidehiko Masuhara and Akinori Yonezawa.