Analysis and verification of multiple-agent languages : 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 vo...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1192 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Analysis and verification of multiple-agent languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, selected papers, Mads Dam (ed.), 1997, Berlin, Springer, 1 vol. (VIII-434 p.), Lecture notes in computer science, 3-540-62503-8 • Analysis and Verification of Multiple-Agent Languages, Texte imprimé, 9783662203613 |
Sommario:
- Logical and operational methods in the analysis of programs and systems
- Proving properties of logic programs by abstract diagnosis
- Abstract interpretation of the ?-calculus
- Abstract interpretation of small-step semantics
- An overview of mobile agent programming
- Formalising and prototyping a concurrent object-based language
- Type checking for a multiset rewriting language
- Polymorphic subtyping for effect analysis: The static semantics
- Polymorphic subtyping for effect analysis: The dynamic semantics
- Polymorphic subtyping for effect analysis: The algorithm
- Implementing a static analyzer of concurrent programs: Problems and perspectives
- Polyvariance, polymorphism and flow analysis
- Parallel implementation of functional languages
- Mobile processes with local clocks
- Testing semantics of asynchronous distributed programs
- Analysis of Facile programs: A case study
- A non-standard semantics for generating reduced transition systems
- A process language for statecharts
- Priorities in Statecharts.