Type And Effect Systems

Behaviours For Concurrency

By: Flemming Nielson, Hanne Riis Nielson, Torben Amtoft

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 $0.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

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Code

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

The Essence of Software Engineering

Semantics With Applications

Advanced Topics in Computer Science

Web Performance Engineering in the Age of AI

Mastering Speed and Quality for Ai-Generated Applications

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Designing Distributed Systems

Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes

Typescript Cookbook

Real World Type-Level Programming

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Design Patterns

Elements of Reusable Object-Oriented Software

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

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

Architectural Approach to Level Design

Second edition

Git : Pocket Guide

A Working Introduction

Developing Graphics Frameworks with Java and OpenGL

Architecture Patterns with Python

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

Coding All-in-One For Dummies

2nd Edition

Programming TypeScript

Making Your JavaScript Applications Scale

User Story Mapping

Discover the Whote Story, Build the Right Product

The Engineering Leader

Strategies for Scaling Teams and Yourself

Learning Modern C++ for Finance

Foundations for Quantitative Programming

This product is categorised by