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

The Essence of Software Engineering

Fundamentals of Software Architecture

A Modern Engineering Approach

Design Patterns

Elements of Reusable Object-Oriented Software

Git : Pocket Guide

A Working Introduction

Building Microservices

Designing Fine-Grained Systems 2nd Edition

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

C# 12 in a Nutshell

The Definitive Reference

Site Reliability Engineering

How Google Runs Production Systems

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Coding All-in-One For Dummies

2nd Edition

Developing Graphics Frameworks with Java and OpenGL

Swim Training Patterns

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

Hacking For Dummies

For Dummies (Computer/Tech)

Arduino for Dummies

Blackwell Philosophy Anthologies

Architecture Patterns with Python

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

Code

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

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Go Cookbook

Expert Solutions for Commonly Needed Go Tasks

Working Effectively with Legacy Code

Robert C. Martin Series

Robert C. Martin

A Handbook of Agile Software Craftsmanship

Building Generative AI Services with Fastapi

A Practical Approach to Developing Context-Rich Generative AI Applications

Typescript Cookbook

Real World Type-Level Programming

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

This product is categorised by