My Wish Lists Login / Join

Algorithmic Languages and Calculi

By: Lambert Meerkens, Richard Bird

Write A Review

Hardcover | 1 December 2009

At a Glance

Hardcover
456 Pages

Dimensions(cm)
23.39 x 15.6 x 2.54

Hardcover

$329.00

or 4 interest-free payments of $82.25 with

Ships in 5 to 7 business days

The general theme of this working conference is notations, methods, and tool support for the calculation of programs from specifications. Its purpose is to present the results of ongoing research, descriptions of existing and prosposed systems and applications to the production of practical software. This work, a collection of papers from the conference, aims to address the following topics: the study of the calculation of programs from specifications, the design of notations for such calculation, the formulation of algorithm theories using such notations and the investigation of software support for program derivation. This book should be of interest to computer science students, software researchers and programmers requiring correct codes.

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 Algorithms & Data Structures Mathematics Algebra

Preface
Programme Committee
Dynamic programming: a different perspective	p. 1
Calculating with pointer structures	p. 24
Deriving a systolic regular language recognizer	p. 49
A calculational fusion system HYLO	p. 76
Refinement of data parallel programs in PEI	p. 107
Solving large systems of differential equations in parallel using covers and skeletons	p. 132
Refinement of parameterized algebraic specifications	p. 164
Towards a compositional interpretation of object diagrams	p. 187
Defining and detecting feature interactions	p. 212
Synthesising interconnections	p. 240
A powerful transformation rule, its applications and variants	p. 265
Program derivation via list introduction	p. 296
Towards a calculus for abstract syntax trees	p. 324
Principled strength reduction	p. 357
The formal reconstruction and speedup of the linear time fragment of Willard's relational calculus subset	p. 382
Predicative semantics of loops	p. 415
Index of contributors	p. 441
Keyword index	p. 443
Table of Contents provided by Blackwell. All Rights Reserved.

Algorithmic Languages and Calculi

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Code

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

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

Cross-Cultural Design

18th International Conference, CCD 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part I

Cross-Cultural Design

18th International Conference, CCD 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part III

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Design Patterns

Elements of Reusable Object-Oriented Software

Hacking For Dummies

For Dummies (Computer/Tech)

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Refactoring 2ed

Improving the Design of Existing Code

Git : Pocket Guide

A Working Introduction

Arduino for Dummies

Blackwell Philosophy Anthologies

Swim Training Patterns

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

Architecture Patterns with Python

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

Coding All-in-One For Dummies

2nd Edition

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Site Reliability Engineering

How Google Runs Production Systems

Typescript Cookbook

Real World Type-Level Programming

C# 12 in a Nutshell

The Definitive Reference

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Learning Algorithms

A Programmer's Guide to Writing Better Code

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Beyond Code

Build Reliable AI-Assisted Software with Context Engineering, Mechanical Gates, and AI Agent Control

This product is categorised by