Skip to main content
  • Conference proceedings
  • © 2001

Programs as Data Objects

Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2053)

Conference series link(s): PADO: Symposium on Program as Data Objects

Conference proceedings info: PADO 2001.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 papers)

  1. Front Matter

    Pages I-VIII
  2. Invited Opening Talk

  3. Contributed Papers

    1. Deriving Pre-conditions for Array Bound Check Elimination

      • Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
      Pages 2-24
    2. Type Systems for Useless-Variable Elimination

      • Adam Fischbach, John Hannan
      Pages 25-38
    3. Boolean Constraints for Binding-Time Analysis

      • Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
      Pages 39-62
    4. Constraint Abstractions

      • Jörgen Gustavsson, Josef Svenningsson
      Pages 63-83
    5. Numerical Power Analysis

      • Isabella Mastroeni
      Pages 117-137
    6. Run-Time Bytecode Specialization

      • Hidehiko Masuhara, Akinori Yonezawa
      Pages 138-154
    7. Driving in the Jungle

      • Jens Peter Secher
      Pages 198-217
    8. Dynamic Partial Evaluation

      • Gregory T. Sullivan
      Pages 238-256
    9. Tag Elimination and Jones-Optimality

      • Walid Taha, Henning Makholm, John Hughes
      Pages 257-275
  4. Invited Closing Talk

    1. Bottom-Up Deduction with Deletion and Priorities

      • Harald Ganzinger
      Pages 276-277
  5. Back Matter

    Pages 279-279

Other Volumes

  1. Programs as Data Objects

Editors and Affiliations

  • BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark

    Olivier Danvy, Andrzej Filinski

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access