Type and effect systems : behaviours for concurrency / Torben Amtoft, Flemming Nielson, Hanne Riis Nielson.

By:

Amtoft, Torben [Author]

Contributor(s):

Material type: Text

text

Media type:

computer

Carrier type:

online resource

ISBN:

9781848160514

Subject(s):

Genre/Form:

Electronic Books.

LOC classification:

QA76 .T974 1999

Online resources:

Click to access digital title | log in using your CIU ID number and my.ciu.edu password

Available additional physical forms:

Contents:

2. The type and effect system -- 3. The semantics -- 4. The inference algorithm -- 5. The inference algorithm: completeness -- 6. Post-processing the analysis -- 7. A case study.

Subject: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode
Online Book (LOGIN USING YOUR MY CIU LOGIN AND PASSWORD)	G. Allen Fleece Library ONLINE	Non-fiction	QA76.76.47 (Browse shelf(Opens below))	Link to resource	Available		ocn826658056

Includes bibliographies and index.

1. Introduction -- 2. The type and effect system -- 3. The semantics -- 4. The inference algorithm -- 5. The inference algorithm: completeness -- 6. Post-processing the analysis -- 7. A case study.

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.

https://lib.ciu.edu/copyright-request-form

There are no comments on this title.

to post a comment.