2. PADO 2001: Aarhus, Denmark

@proceedings{DBLP:conf/pado/2001,
  editor    = {Olivier Danvy and
               Andrzej Filinski},
  title     = {Programs as Data Objects, Second Symposium, PADO 2001, Aarhus,
               Denmark, May 21-23, 2001, Proceedings},
  booktitle = {PADO},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2053},
  year      = {2001},
  isbn      = {3-540-42068-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Opening Talk

• Neil D. Jones:
  Program Analysis for Implicit Computational Complexity. 1
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu:
  Deriving Pre-conditions for Array Bound Check Elimination. 2-24
  Electronic Edition (Springer LINK) BibTeX
• Adam Fischbach, John Hannan:
  Type Systems for Useless-Variable Elimination. 25-38
  Electronic Edition (Springer LINK) BibTeX
• Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard:
  Boolean Constraints for Binding-Time Analysis. 39-62
  Electronic Edition (Springer LINK) BibTeX
• Jörgen Gustavsson, Josef Svenningsson:
  Constraint Abstractions. 63-83
  Electronic Edition (Springer LINK) BibTeX
• Julia L. Lawall:
  Implementing Circularity Using Partial Evaluation. 84-102
  Electronic Edition (Springer LINK) BibTeX
• Damien Massé:
  Combining Forward and Backward Analyses of Temporal Properties. 103-116
  Electronic Edition (Springer LINK) BibTeX
• Isabella Mastroeni:
  Numerical Power Analysis. 117-137
  Electronic Edition (Springer LINK) BibTeX
• Hidehiko Masuhara, Akinori Yonezawa:
  Run-Time Bytecode Specialization. 138-154
  Electronic Edition (Springer LINK) BibTeX
• Antoine Miné:
  A New Numerical Abstract Domain Based on Difference-Bound Matrices. 155-172
  Electronic Edition (Springer LINK) BibTeX
• Ulrik Pagh Schultz:
  Partial Evaluation for Class-Based Object-Oriented Languages. 173-197
  Electronic Edition (Springer LINK) BibTeX
• Jens P. Secher:
  Driving in the Jungle. 198-217
  Electronic Edition (Springer LINK) BibTeX
• Ganesh Sittampalam, Oege de Moor:
  Higher-Order Pattern Matching for Automatically Applying Fusion Transformations. 218-237
  Electronic Edition (Springer LINK) BibTeX
• Gregory T. Sullivan:
  Dynamic Partial Evaluation. 238-256
  Electronic Edition (Springer LINK) BibTeX
• Walid Taha, Henning Makholm, John Hughes:
  Tag Elimination and Jones-Optimality. 257-275
  Electronic Edition (Springer LINK) BibTeX

Invited Closing Talk

• Harald Ganzinger:
  Bottom-Up Deduction with Deletion and Priorities. 276-278
  Electronic Edition (Springer LINK) BibTeX