did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540667100

Partial Evaluation - Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998

by ; ; ;
  • ISBN13:

    9783540667100

  • ISBN10:

    3540667105

  • Format: Paperback
  • Copyright: 1999-11-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $119.00 Save up to $100.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

Wirtschaftsjuristen, Rechtsanwälten, Richtern und allen, die sich mit Rechtsfragen zum Internet beschäftigen, wird mit diesem Handbuch ein übersichtlicher und umfassender Leitfaden über die rechtlichen Rahmenbedingungen der Informationsgesellschaft geboten. Wissenschaftlich fundierte Ergebnisse sind für die Online-Praxis aufbereitet. Anerkannte Experten aus Wissenschaft und Praxis zeigen anhand von zahlreichen Beispielen konkrete Lösungen für Electronic Commerce auf.

Table of Contents

Part I: Practice and Experience Using Partial Evaluators
Partial Evaluation: Concepts and Applications
1(19)
Torben Æ. Mogensen
An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language
20(63)
John Hatcliff
Similix: A Self-Applicable Partial Evaluator for Scheme
83(25)
Jasper Jørgensen
C-Mix: Specialization of C Programs
108(47)
Arne John Glenstrup
Henning Makholm
Jens Peter Secher
Logic Program Specialisation
155(34)
Michael Leuschel
Part II: Theory, Systems, and Applications
Inherited Limits
189(14)
Torben Æ. Mogensen
Partial Evaluation for the Lambda Calculus
203(18)
Neil D. Jones
Carsten K. Gomard
Peter Sestoft
Partial Evaluation of Hardware
221(10)
Satnam Singh
Nicholas McKay
Partial Evaluation in Aircraft Crew Planning
231(15)
Lennart Augustsson
Introduction to Supercompilation
246(25)
Morten Heine
B. Sørensen
Robert Gluck
Advanced Logic Program Specialisation
271(22)
Michael Leuschel
A Type Specialisation Tutorial
293(33)
John Hughes
Multi-Level Specialization
326(12)
Robert Gluck
Jesper Jørgensen
Faster Fourier Transforms via Automatic Program Specialization
338(18)
Julia L. Lawall
Eta-Redexes in Partial Evaluation
356(11)
Jens Palsberg
Type-Directed Partial Evaluation
367(45)
Olivier Danvy
Aspects of the PGG System: Specialization for Standard Scheme
412(21)
Peter Thiemann
Author Index 433

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program