5. LOMAPS 1996: Stockholm, Sweden

Mads Dam (Ed.): Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers. Lecture Notes in Computer Science 1192 Springer 1997, ISBN 3-540-62503-8 BibTeX

@proceedings{DBLP:conf/lomaps/1996,
  editor    = {Mads Dam},
  title     = {Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS
               Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
  booktitle = {LOMAPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1192},
  year      = {1997},
  isbn      = {3-540-62503-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction and Overview

Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen: Logical and Operational Methods in the Analysis of Programs and Systems. 1-21 BibTeX

Invited Paper

Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello: Proving Properties of Logic Programs by Abstract Diagnosis. 22-50 BibTeX

Submitted Papers

Arnaud Venet: Abstract Interpretation of the pi-Calculus. 51-75 BibTeX
David A. Schmidt: Abstract Interpretation of Small-Step Semantics. 76-99 BibTeX

Invited Paper

Frederick Knabe: An Overview of Mobile Agent Programming. 100-115 BibTeX

Submitted Paper

Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava: Formalising and Prototyping a Concurrent Object-Based Language. 116-125 BibTeX

Invited Paper

Pascal Fradet, Daniel Le Métayer: Type Checking for a Multiset Rewriting Language. 126-140 BibTeX

Submitted Papers

Hanne Riis Nielson, Flemming Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Static Semantics. 141-171 BibTeX
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann: Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. 172-206 BibTeX
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft: Polymorphic Subtyping for Effect Analysis: The Algorithm. 207-243 BibTeX
Régis Cridlig: Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. 244-259 BibTeX
Karl-Filip Faxén: Polyvariance, Polymorphism and Flow Analysis. 260-278 BibTeX

Invited Paper

Reinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber: Parallel Implementation of Functional Languages. 279-295 BibTeX

Submitted Papers

Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami: Mobile Processes with Local Clocks. 296-319 BibTeX
Rocco De Nicola, Rosario Pugliese: Testing Semantics of Asynchronous Distributed Programs. 320-344 BibTeX
Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen: Analysis of Facile Programs: A Case Study. 345-369 BibTeX
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini: A Non-Standard Semantics for Generating Reduced Transition Systems. 370-387 BibTeX
Francesca Levi: A Process Language for Statecharts. 388-403 BibTeX
Andrea Maggiolo-Schettini, Massimo Merro: Prorities in Statecharts. 404-429 BibTeX