Programs as Data Objects

Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

  • Olivier Danvy
  • Andrzej Filinski
Conference proceedings

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Invited Opening Talk

  3. Contributed Papers

    1. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
      Pages 2-24
    2. Adam Fischbach, John Hannan
      Pages 25-38
    3. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
      Pages 39-62
    4. Jörgen Gustavsson, Josef Svenningsson
      Pages 63-83
    5. Isabella Mastroeni
      Pages 117-137
    6. Hidehiko Masuhara, Akinori Yonezawa
      Pages 138-154
    7. Jens Peter Secher
      Pages 198-217
    8. Gregory T. Sullivan
      Pages 238-256
    9. Walid Taha, Henning Makholm, John Hughes
      Pages 257-275
  4. Invited Closing Talk

    1. Harald Ganzinger
      Pages 276-277
  5. Back Matter
    Pages 279-279

About these proceedings

Keywords

Bytecode Specialization Computational Complexity Computational logics Fusion Object-Oriented Languages Partial Evaluation Power Analysis Program Analysis Program Semantics Program Transformation Programming Theory Variable Variable Elimination complexity

Editors and affiliations

  • Olivier Danvy
    • 1
  • Andrzej Filinski
    • 1
  1. 1.BRICS, Department of Computer ScienceUniversity of AarhusAarhusDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44978-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42068-2
  • Online ISBN 978-3-540-44978-2
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Aerospace