© 1996

Partial Evaluation

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

  • Editors
  • Olivier Danvy
  • Robert Glück
  • Peter Thiemann
Conference proceedings

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

Table of contents

  1. Front Matter
  2. Mikhail A. Bulyonkov, Dmitry V. Kochetov
    Pages 17-32
  3. Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
    Pages 33-53
  4. Charles Consel, Luke Hornof, FranÇois NoËl, Jacques Noyé, Nicolae Volanschi
    Pages 54-72
  5. Robert Glück, Morten Heine Sørensen
    Pages 137-160
  6. Jesper Jørgensen, Michael Leuschel
    Pages 238-262
  7. Alain Miniussi, David J. Sherman
    Pages 284-302
  8. Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
    Pages 322-337
  9. Flemming Nielson, Hanne Riis Nielson
    Pages 338-354
  10. Alberto Pettorossi, Maurizio Proietti
    Pages 355-385

About these proceedings


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.


ML Programmanalyse Programmieren Programmiersprachen algebra automatic programming calculus compiler control language logic metaprogramming partial evaluation programming language programming languages

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 Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-61580-4
  • eBook ISBN 978-3-540-70589-5
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 520
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Programming Techniques
    Programming Languages, Compilers, Interpreters
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment