Skip to main content
SpringerLink
Log in

Partial Evaluation

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

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Olivier Danvy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Glück
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Thiemann
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. An automatic interprocedural analysis for the understanding of scientific application programs

    • Sandrine Blazy, Philippe Facon
    Pages 1-16

  3. Practical aspects of specialization of Algol-like programs

    • Mikhail A. Bulyonkov, Dmitry V. Kochetov
    Pages 17-32

  4. Synchronization analyses for multiple recursion parameters

    • Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
    Pages 33-53

  5. A uniform approach for compile-time and run-time specialization

    • Charles Consel, Luke Hornof, FranÇois NoËl, Jacques Noyé, Nicolae Volanschi
    Pages 54-72

  6. Pragmatics of type-directed partial evaluation

    • Olivier Danvy
    Pages 73-94

  7. Compiler generation for interactive graphics using intermediate code

    • Scott Draves
    Pages 95-114

  8. Regular approximation of computation paths in logic and functional languages

    • John Gallagher, Laura Lafave
    Pages 115-136

  9. A roadmap to metacomputation by supercompilation

    • Robert Glück, Morten Heine Sørensen
    Pages 137-160

  10. Reasoning about hierarchies of online program specialization systems

    • John Hatcliff, Robert Glück
    Pages 161-182

  11. Type specialisation for the λ-calculus; or, a new paradigm for partial evaluation based on type inference

    • John Hughes
    Pages 183-215

  12. What not to do when writing an interpreter for specialisation

    • Neil D. Jones
    Pages 216-237

  13. Efficiently generating efficient generating extensions in prolog

    • Jesper Jørgensen, Michael Leuschel
    Pages 238-262

  14. Global control for partial deduction through characteristic atoms and global trees

    • Michael Leuschel, Bern Martens
    Pages 263-283

  15. Squeezing intermediate construction in equational programs

    • Alain Miniussi, David J. Sherman
    Pages 284-302

  16. Evolution of partial evaluators: Removing inherited limits

    • Torben Æ. Mogensen
    Pages 303-321

  17. A Self-Applicable supercompiler

    • Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin F. Turchin
    Pages 322-337

  18. Multi-Level Lambda-Calculi: An algebraic description

    • Flemming Nielson, Hanne Riis Nielson
    Pages 338-354

  19. A comparative revisitation of some program transformation techniques

    • Alberto Pettorossi, Maurizio Proietti
    Pages 355-385

  20. A theory of logic program specialization and generalization for dealing with input data properties

    • Alberto Pettorossi, Maurizio Proietti
    Pages 386-408
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation