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

Instant online reading.
Don't wait for delivery!

Partial Evaluation: Practice and Theory

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

By: John Hatcliff (Editor), Torben Mogensen (Editor), Peter Thiemann (Editor)

Write A Review

Paperback | 17 November 1999

At a Glance

Paperback
452 Pages

Dimensions(cm)
23.5 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Software Testing & Verification Programming & Scripting Languages Computer Science Artificial Intelligence Compilers & Interpreters

Partial Evaluation: Concepts and Applications	p. 1
An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language	p. 20
Similix: A Self-Applicable Partial Evaluator for Scheme	p. 83
C-Mix: Specialization of C Programs	p. 108
Logic Program Specialisation	p. 155
Inherited Limits	p. 189
Partial Evaluation for the Lambda Calculus	p. 203
Partial Evaluation of Hardware	p. 221
Partial Evaluation in Aircraft Crew Planning	p. 231
Introduction to Supercompilation	p. 246
Advanced Logic Program Specialisation	p. 271
A Type Specialisation Tutorial	p. 293
Multi-Level Specialization	p. 326
Faster Fourier Transforms via Automatic Program Specialization	p. 338
Eta-Redexes in Partial Evaluation	p. 356
Type-Directed Partial Evaluation	p. 367
Aspects of the PGG System: Specialization for Standard Scheme	p. 412
Author Index	p. 433
Table of Contents provided by Blackwell. All Rights Reserved.

Partial Evaluation: Practice and Theory

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

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Designing Data-Intensive Applications

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Exam 98-366 Networking Fundamentals 2nd Edition

Intersection of Machine Learning and Computational Social Sciences

Future Generation Information Systems

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Digital Minds 1.0

AI Welfare, Ethics, and Beyond

Pega Agentic AI on Cloud 3

Architecture, Governance, and Operating Models for Modern Enterprises

Pega Agentic AI on Cloud 3

Architecture, Governance, and Operating Models for Modern Enterprises

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

University of Miami School of Education and Human Developmen

Rethinking Data Practices and Inspiring Collective Dialogue

Bias and Beyond

Rethinking Data Practices and Inspiring Collective Dialogue

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Hands-On Machine Learning with Scikit-Learn and Pytorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Learning Generative AI Tools for Excel

Speed Up Your Everyday Tasks with Microsoft Excel, Copilot, ChatGPT, and Beyond

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Learning Go

An Idiomatic Approach to Real-World Go Programming

Python All-in-One For Dummies

3rd Edition

Swift

The Practical Guide

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The C Programming Language

Prentice Hall Software

Design Patterns

Elements of Reusable Object-Oriented Software

This product is categorised by