Skip to main content
Springer Nature Link
Log in

Partial Evaluation: Practice and Theory

DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. John Hatcliff

    1. Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Torben Æ Mogensen

    1. DIKU, Københavns Universitet, København Ø, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Peter Thiemann

    1. Institut für Informatik, Universität Freiburg, Freiburg i.Br., Germany

    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 1706)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: DIKU 1998.

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

About this book

As the complexity of software increases, researchers and practicioners continue to seek better techniques for engineering the construction of evolution of software. Partial evaluation is an attractive technology for modern software construction since it provides automatic tools for software specialization and is based on rigorous semantic foundations. This book is based on a school held at DIKU Copenhagen, Denmark in summer 1998 during which leading researchers summarized the state of the art in partial evaluation. The lectures presented survey the foundations of partial evaluation in a clear and rigorous manner and practically introduce several existing partial evaluators with numerous examples. The second part of the book is devoted to more sophisticated theoretical aspects, advances systems and applications, and highlights open problems and challenges. The book is ideally suited for advanced courses and for self study.

Similar content being viewed by others

Keywords

Table of contents (17 papers)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Practice and Experience Using Partial Evaluators

    1. Partial Evaluation: Concepts and Applications

      • Torben Æ Mogensen
      Pages 1-19

    2. An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language

      • John Hatcliff
      Pages 20-82

    3. Similix: A Self-Applicable Partial Evaluator for Scheme

      • Jesper Jørgensen
      Pages 83-107

    4. C-Mix

      • Arne John Glenstrup, Henning Makholm, Jens Peter Secher
      Pages 108-154

    5. Logic Program Specialisation

      • Michael Leuschel
      Pages 155-188

  3. Theory, Systems, and Applications

    1. Inherited Limits

      • Torben Æ Mogensen
      Pages 189-202

    2. Partial Evaluation for the Lambda Calculus

      • Neil D. Jones, Carsten K. Gomard, Peter Sestoft
      Pages 203-220

    3. Partial Evaluation of Hardware

      • Satnam Singh, Nicholas McKay
      Pages 221-230

    4. Partial Evaluation in Aircraft Crew Planning

      • Lennart Augustsson
      Pages 231-245

    5. Introduction to Supercompilation

      • Morten Heine B. Sørensen, Robert Glück
      Pages 246-270

    6. Advanced Logic Program Specialisation

      • Michael Leuschel
      Pages 271-292

    7. A Type Specialisation Tutorial

      • John Hughes
      Pages 293-325

    8. Multi-Level Specialization

      • Robert Glück, Jesper Jørgensen
      Pages 326-337

    9. Faster Fourier Transforms via Automatic Program Specialization

      • Julia L. Lawall
      Pages 338-355

    10. Eta-Redexes in Partial Evaluation

      • Jens Palsberg
      Pages 356-366

    11. Type-Directed Partial Evaluation

      • Olivier Danvy
      Pages 367-411

    12. Aspects of the PGG System: Specialization for Standard Scheme

      • Peter Thiemann
      Pages 412-432

  4. Back Matter

    Pages 433-435
    Download chapter PDF
Back to top

Other volumes

  1. Partial Evaluation

Editors and Affiliations

  • Department of Computing and Information Sciences, Kansas State University, Manhattan, USA

    John Hatcliff

  • DIKU, Københavns Universitet, København Ø, Denmark

    Torben Æ Mogensen

  • Institut für Informatik, Universität Freiburg, Freiburg i.Br., Germany

    Peter Thiemann

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy