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.

Bibliographic Information

Book Title: Analysis and Verification of Multiple-Agent Languages
Book Subtitle: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
Editors: Mads Dam
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-62503-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-62503-2Published: 07 January 1997
eBook ISBN: 978-3-540-68052-9Published: 07 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 444
Topics: Programming Languages, Compilers, Interpreters, Artificial Intelligence, Logics and Meanings of Programs
Industry Sectors: Aerospace, Automotive, Biotechnology, Electronics, Engineering, Finance, Business & Banking, IT & Software, Oil, Gas & Geosciences, Telecommunications

Publish with us

Policies and ethics

Analysis and Verification of Multiple-Agent Languages

Overview

Access this book

Other ways to access

Table of contents (19 papers)

Back Matter

Other volumes