Type And Effect Systems

Behaviours For Concurrency

By: Torben Amtoft, Hanne Riis Nielson, Flemming Nielson

Write A Review

Hardcover | 15 March 1999

At a Glance

Hardcover
268 Pages

Dimensions(cm)
22.23 x 15.88 x 1.91

Hardcover

RRP $172.99

$155.75

10%OFF

or 4 interest-free payments of $38.94 with

Ships in 15 to 25 business days

Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This book presents and develops state-of-the-art validation techniques for detecting safety violations; the focus is on the correctness of techniques that suffice for fully automatic validation of key components of such systems. It builds on and extends the notion of types, popular in many sequential programming languages as a technique for catching certain kinds of errors already at program development time, by incorporating behaviours (or structured effects) that are able to track the information flow in the presence of procedures, channel based communication, and the dynamic creation of network topologies. The technical development is performed for a language based on Concurrent ML.

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 Mathematics Applied Mathematics Chaos Theory Engineering & Technology Technology in General Engineering in General Computing & I.T.Computer Security Data Encryption Computer Programming & Software Development Algorithms & Data Structures

Computer Science Software Engineering Booktopia Publisher Services World Scientific Publishing

Preface
Introduction	p. 1
The Type and Effect System	p. 43
The Semantics	p. 77
The Inference Algorithm	p. 99
The Inference Algorithm: Completeness	p. 121
Post-processing the Analysis	p. 141
A Case Study	p. 165
Proofs of Results in Chapter 2	p. 177
Proofs of Results in Chapter 3	p. 195
Proofs of Results in Chapter 4	p. 213
Proofs of Results in Chapter 5	p. 223
Proofs of Results in Chapter 6	p. 233
A Catalogue of Notation	p. 237
Table of Contents provided by Blackwell. All Rights Reserved.

Type And Effect Systems

Behaviours For Concurrency

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Mobile and Ubiquitous Systems: Computing, Networking and Services

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

The Essence of Software Engineering

Design Patterns

Elements of Reusable Object-Oriented Software

Code

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

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Coding All-in-One For Dummies

2nd Edition

Git : Pocket Guide

A Working Introduction

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

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

Arduino for Dummies

Blackwell Philosophy Anthologies

Refactoring 2ed

Improving the Design of Existing Code

Hacking For Dummies

For Dummies (Computer/Tech)

C# 12 in a Nutshell

The Definitive Reference

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Typescript Cookbook

Real World Type-Level Programming

Learning Algorithms

A Programmer's Guide to Writing Better Code

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

The Engineering Leader

Strategies for Scaling Teams and Yourself

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

Site Reliability Engineering

How Google Runs Production Systems

This product is categorised by