Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. LOMAPS 1996: Stockholm, Sweden
- Mads Dam:
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
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
Invited Paper
- Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello:
Proving Properties of Logic Programs by Abstract Diagnosis. 22-50
Submitted Papers
- Arnaud Venet:
Abstract Interpretation of the pi-Calculus. 51-75 - David A. Schmidt:
Abstract Interpretation of Small-Step Semantics. 76-99
Invited Paper
- Frederick Knabe:
An Overview of Mobile Agent Programming. 100-115
Submitted Paper
- Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava:
Formalising and Prototyping a Concurrent Object-Based Language. 116-125
Invited Paper
- Pascal Fradet, Daniel Le Métayer:
Type Checking for a Multiset Rewriting Language. 126-140
Submitted Papers
- Hanne Riis Nielson, Flemming Nielson, Torben Amtoft:
Polymorphic Subtyping for Effect Analysis: The Static Semantics. 141-171 - Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann:
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. 172-206 - Flemming Nielson, Hanne Riis Nielson, Torben Amtoft:
Polymorphic Subtyping for Effect Analysis: The Algorithm. 207-243 - Régis Cridlig:
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. 244-259 - Karl-Filip Faxén:
Polyvariance, Polymorphism and Flow Analysis. 260-278
Invited Paper
- Reinhard Wilhelm, Martin Helmut Alt, Florian Martin, Martin Raber:
Parallel Implementation of Functional Languages. 279-295
Submitted Papers
- Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami:
Mobile Processes with Local Clocks. 296-319 - Rocco De Nicola, Rosario Pugliese:
Testing Semantics of Asynchronous Distributed Programs. 320-344 - Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Analysis of Facile Programs: A Case Study. 345-369 - Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A Non-Standard Semantics for Generating Reduced Transition Systems. 370-387 - Francesca Levi:
A Process Language for Statecharts. 388-403 - Andrea Maggiolo-Schettini, Massimo Merro:
Prorities in Statecharts. 404-429
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-14 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
