+612 9045 4394
 
CHECKOUT
Analysis and Verification of Multiple-Agent Languages : 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers - Mads Dam

Analysis and Verification of Multiple-Agent Languages

5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

By: Mads Dam (Editor)

Paperback Published: 7th January 1997
ISBN: 9783540625032
Number Of Pages: 444

Share This Book:

Paperback

$147.02
or 4 easy payments of $36.76 with Learn more
Ships in 5 to 9 business days

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.
The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

Logical and Operational Methods in the Analysis of Programs and Systemsp. 1
Proving Properties of Logic Programs by Abstract Diagnosisp. 22
Abstract Interpretation of the [pi]-calculusp. 51
Abstract Interpretation of Small-Step Semanticsp. 76
An Overview of Mobile Agent Programmingp. 100
Formalising and Prototyping a Concurrent Object-Based Languagep. 116
Type Checking for a Multiset Rewriting Languagep. 126
Polymorphic Subtyping for Effect Analysis: The Static Semanticsp. 141
Polymorphic Subtyping for Effect Analysis: The Dynamic Semanticsp. 172
Polymorphic Subtyping for Effect Analysis: The Algorithmp. 207
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectivesp. 244
Polyvariance, Polymorphism, and Flow Analysisp. 260
Parallel Implementation of Functional Languagesp. 279
Mobile Processes with Local Clocksp. 296
Testing Semantics of Asynchronous Distributed Programsp. 320
Analysis of FACILE Programs: A Case Studyp. 345
A Non-Standard Semantics for Generating Reduced Transition Systemsp. 370
A Process Language for Statechartsp. 388
Priorities in Statechartsp. 404
Subject Indexp. 431
Author Indexp. 435
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540625032
ISBN-10: 3540625038
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 444
Published: 7th January 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.31
Weight (kg): 0.63