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.75

or 4 interest-free payments of $82.44 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 $89.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

Advances of Machine Learning for Knowledge Mining in Electronic Health Records

Artificial Intelligence and Communication Techniques in Industry 5.0

Advances in Manufacturing, Design and Computational Intelligence Techniques

Artificial Intelligence and IoT for Cyber Security Solutions in Smart Cities

Artificial Intelligence in Medicine and Healthcare

Artificial Intelligence Revolutionizing Cancer Care

Precision Diagnosis and Patient-Centric Healthcare

Big Data Analytics and Intelligent Applications for Smart and Secure Healthcare Services

Computational and Intelligent Systems

Blockchain Technology for Cyber Defense, Cybersecurity, and Countermeasures

Techniques, Solutions, and Applications

Challenges and Solutions in Internet of Things-Based Smart Applications

Embedded Artificial Intelligence

Real-Life Applications and Case Studies

Embedded Systems for Biomedical Applications

High-Performance Computing for Smart Healthcare

Energy Efficiency and Robustness of Advanced Machine Learning Architectures

A Cross-Layer Approach

Humans and Cyber Security

How Organisations Can Enhance Resilience Through Human Factors

Industry 6.0

Technology, Practices, Challenges, and Applications

Intelligent Data-Driven Techniques for Security of Digital Assets

Intelligent Data-Driven Systems and Artificial Intelligence

Leveraging Computer Vision to Biometric Applications

Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series

Network Optimization in Intelligent Internet of Things Applications

Principles and Challenges

Online Gaming in India

Technology, Policy, and Challenges

Python Programming

A Step-by-Step Guide to Learning the Language

Stacked Antennas

Design, Analysis and Applications

Sustainable Development Using Private AI

Security Models and Applications

Text and Social Media Analytics for Fake News and Hate Speech Detection

Artificial Intelligence and Optimization Techniques for Smart Information System Generations

Future Generation Information Systems

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Design Patterns

Elements of Reusable Object-Oriented Software

This product is categorised by