Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997 Edition Contributor(s): Dam, Mads (Editor) |
|
ISBN: 3540625038 ISBN-13: 9783540625032 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: January 1997 |
Additional Information |
BISAC Categories: - Computers | Compilers - Computers | Intelligence (ai) & Semantics - Computers | Programming Languages - General |
Dewey: 005.131 |
LCCN: 96053984 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.91" H x 6.14" W x 9.21" (1.38 lbs) 444 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |