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 $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

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Code

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

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Site Reliability Engineering

How Google Runs Production Systems

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

The Staff Engineer's Path

A Guide For Individual Contributors Navigating Growth and Change

Design Patterns

Elements of Reusable Object-Oriented Software

Designing Data-Intensive Applications

Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

User Story Mapping

Discover the Whote Story, Build the Right Product

Object-Oriented and Classical Software Engineering - Global Edition

8th Edition

Test-Driven Development with Python

Obey the Testing Goat: Using Django, Selenium, and JavaScript

Git : Pocket Guide

A Working Introduction

Clean Architecture

A Craftsman's Guide to Software Structure and Design

Architecture Patterns with Python

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

Hacking For Dummies

For Dummies (Computer/Tech)

Swim Training Patterns

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

Developing Graphics Frameworks with Java and OpenGL

The Engineering Leader

Strategies for Scaling Teams and Yourself

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

This product is categorised by