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.39 x 15.6 x 2.31

Paperback

$101.07

Aims to ship 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

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.

More in Programming & Scripting Languages

Fluent C

Principles, Practices, and Patterns

Paperback

RRP $125.50

$51.25

59%
OFF

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$44.50

53%
OFF

Modern PHP

New Features and Good Practices

Paperback

RRP $57.00

$25.25

56%
OFF

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Paperback

RRP $106.50

$49.95

53%
OFF

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Paperback

RRP $98.50

$93.75

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Paperback

RRP $125.50

$51.25

59%
OFF

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $152.00

$61.50

60%
OFF

Head First C#

4th Edition

Paperback

RRP $133.00

$50.25

62%
OFF

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Paperback

RRP $106.50

$44.25

58%
OFF

Definitive ANTLR 4 Reference

2nd Edition

Paperback

RRP $70.35

$30.90

56%
OFF

Command-Line Rust

A Project-Based Primer for Writing Rust CLIs

Paperback

RRP $125.50

$51.25

59%
OFF

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Paperback

RRP $152.00

$67.75

55%
OFF

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$61.50

60%
OFF

JavaScript Cookbook

Programming the Web 3rd Edition

Paperback

RRP $152.00

$67.75

55%
OFF

Hands-on Rust

Effective Learning through 2D Game Development and Play

Paperback

RRP $91.25

$43.90

52%
OFF

Functional Programming in Java

2nd Edition - Harness the Power of Streams and Lambda Expressions

Paperback

RRP $102.50

$46.90

54%
OFF

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Paperback

RRP $152.00

$62.75

59%
OFF

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.50

$56.50

55%
OFF

Scaling Python with Dask

From Data Science to Machine Learning

Paperback

RRP $152.00

$67.35

56%
OFF

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Paperback

RRP $152.00

$61.50

60%
OFF

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Paperback

RRP $47.50

$27.25

43%
OFF

Test-Driven Development for Embedded C

Building Hihg Quality Embedded Software

Paperback

RRP $66.50

$33.25

50%
OFF

Java How to Program, Early Objects

11th Global Edition

Paperback

RRP $137.45

$108.25

21%
OFF

Problem Solving with C++, Global Edition

10th Edition

Paperback

RRP $138.55

$111.95

19%
OFF

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 Programming & Scripting Languages

Fluent C

Principles, Practices, and Patterns

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Modern PHP

New Features and Good Practices

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Head First C#

4th Edition

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Definitive ANTLR 4 Reference

2nd Edition

Command-Line Rust

A Project-Based Primer for Writing Rust CLIs

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

Python for Algorithmic Trading

From Idea to Cloud Deployment

JavaScript Cookbook

Programming the Web 3rd Edition

Hands-on Rust

Effective Learning through 2D Game Development and Play

Functional Programming in Java

2nd Edition - Harness the Power of Streams and Lambda Expressions

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Typescript Cookbook

Real World Type-Level Programming

Scaling Python with Dask

From Data Science to Machine Learning

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Test-Driven Development for Embedded C

Building Hihg Quality Embedded Software

Java How to Program, Early Objects

11th Global Edition

Problem Solving with C++, Global Edition

10th Edition

This product is categorised by

Popular Searches