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 7 to 10 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 $79.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 Software Engineering

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Design Patterns

Elements of Reusable Object-Oriented Software

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

The Art of Spyro

Reignited Trilogy

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino For Dummies

Blackwell Philosophy Anthologies

Git : Pocket Guide

A Working Introduction

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Coding All-in-One For Dummies

2nd Edition

Developing Graphics Frameworks with Java and OpenGL

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes

Architectural Approach to Level Design

Second edition

User Story Mapping

Discover the Whote Story, Build the Right Product

This product is categorised by