Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School

  • Authors:
  • John Hatcliff;Torben Æ. Mogensen;Peter Thiemann

  • Affiliations:
  • -;-;-

  • Venue:
  • Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

From the Publisher: This book is based on a school held at DIKU in 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, advanced systems, and applications, and highlights open problems and challenges. The book is ideally suited for use in advanced courses on partial evaluation and for self study by professionals applying partial evaluation technology in practice.