Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Partial Evaluation

International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers

Editors: Danvy, Olivier, Glück, Robert, Thiemann, Peter (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70589-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-61580-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.
This book is based on the International Seminar on Partial Evaluation held in Dagstuhl Castle, Germany in February 1996. The 24 strictly refereed full papers included evaluate the progress achieved in the field during the last decade. Also included is a detailed preface by the volume editors and a subject index. All in all, this book competently reports the state of the art and future perspectives in partial evaluation and is thus compulsory reading for anybody interested in the area.

Table of contents (24 chapters)

Table of contents (24 chapters)
  • An automatic interprocedural analysis for the understanding of scientific application programs

    Pages 1-16

    Blazy, Sandrine (et al.)

  • Practical aspects of specialization of Algol-like programs

    Pages 17-32

    Bulyonkov, Mikhail A. (et al.)

  • Synchronization analyses for multiple recursion parameters

    Pages 33-53

    Chin, Wei-Ngan (et al.)

  • A uniform approach for compile-time and run-time specialization

    Pages 54-72

    Consel, Charles (et al.)

  • Pragmatics of type-directed partial evaluation

    Pages 73-94

    Danvy, Olivier

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70589-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-61580-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Partial Evaluation
Book Subtitle
International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers
Editors
  • Olivier Danvy
  • Robert Glück
  • Peter Thiemann
Series Title
Lecture Notes in Computer Science
Series Volume
1110
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70589-5
DOI
10.1007/3-540-61580-6
Softcover ISBN
978-3-540-61580-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 520
Topics