Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Lecture Notes in Computer Science
cover

Programs as Data Objects

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

Editors: Danvy, Olivier, Filinski, Andrzej (Eds.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-44978-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-42068-2
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Program Analysis for Implicit Computational Complexity

    Pages 1-1

    Jones, Neil D.

  • Deriving Pre-conditions for Array Bound Check Elimination

    Pages 2-24

    Chin, Wei-Ngan (et al.)

  • Type Systems for Useless-Variable Elimination

    Pages 25-38

    Fischbach, Adam (et al.)

  • Boolean Constraints for Binding-Time Analysis

    Pages 39-62

    Glynn, Kevin (et al.)

  • Constraint Abstractions

    Pages 63-83

    Gustavsson, Jörgen (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-44978-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-42068-2
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programs as Data Objects
Book Subtitle
Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Editors
  • Olivier Danvy
  • Andrzej Filinski
Series Title
Lecture Notes in Computer Science
Series Volume
2053
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44978-2
DOI
10.1007/3-540-44978-7
Softcover ISBN
978-3-540-42068-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 286
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.