![Analysis and Verification of Multiple-Agent Languages [electronic resource] : 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers /](/search/themes/bootstrap3/images/libros.png)
Analysis and Verification of Multiple-Agent Languages [electronic resource] : 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers /
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1997
|
| Subjects: | Computer science., Programming languages (Electronic computers)., Computer logic., Artificial intelligence., Computer Science., Programming Languages, Compilers, Interpreters., Artificial Intelligence (incl. Robotics)., Logics and Meanings of Programs., |
| Online Access: | http://dx.doi.org/10.1007/3-540-62503-8 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|