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

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

The Essence of Software Engineering

Refactoring 2ed

Improving the Design of Existing Code

Hacking For Dummies

For Dummies (Computer/Tech)

C++ Programming Language (hardcover), The

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Swim Training Patterns

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

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Arduino for Dummies

Blackwell Philosophy Anthologies

Developing Graphics Frameworks with Java and OpenGL

Coding All-in-One For Dummies

2nd Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Site Reliability Engineering

How Google Runs Production Systems

User Story Mapping

Discover the Whote Story, Build the Right Product

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

C# 12 in a Nutshell

The Definitive Reference

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Tidy First?

A Personal Exercise in Empirical Software Design

This product is categorised by