More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

5. LOMAPS 1996: Stockholm, Sweden

> Home > Conferences and Workshops > LOMAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/1996
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

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/NielsonCDDJMT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/NielsonCDDJMT96
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

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/CominiLMV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/CominiLMV96
Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello:
Proving Properties of Logic Programs by Abstract Diagnosis. 22-50

Submitted Papers

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/Venet96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/Venet96
Arnaud Venet:
Abstract Interpretation of the pi-Calculus. 51-75
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/Schmidt96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/Schmidt96
David A. Schmidt:
Abstract Interpretation of Small-Step Semantics. 76-99

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/Knabe96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/Knabe96
Frederick Knabe:
An Overview of Mobile Agent Programming. 100-115

Submitted Paper

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/FredlundKO96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/FredlundKO96
Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava:
Formalising and Prototyping a Concurrent Object-Based Language. 116-125

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/FradetM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/FradetM96
Pascal Fradet, Daniel Le Métayer:
Type Checking for a Multiset Rewriting Language. 126-140

Submitted Papers

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/NielsonNA96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/NielsonNA96
Hanne Riis Nielson, Flemming Nielson, Torben Amtoft:
Polymorphic Subtyping for Effect Analysis: The Static Semantics. 141-171
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/AmtoftNNA96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/AmtoftNNA96
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann:
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. 172-206
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/NielsonNA96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/NielsonNA96a
Flemming Nielson, Hanne Riis Nielson, Torben Amtoft:
Polymorphic Subtyping for Effect Analysis: The Algorithm. 207-243
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/Cridlig96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/Cridlig96
Régis Cridlig:
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. 244-259
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/Faxen96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/Faxen96
Karl-Filip Faxén:
Polyvariance, Polymorphism and Flow Analysis. 260-278

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/WilhelmAMR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/WilhelmAMR96
Reinhard Wilhelm, Martin Helmut Alt, Florian Martin, Martin Raber:
Parallel Implementation of Functional Languages. 279-295

Submitted Papers

- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/DeganoLP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/DeganoLP96
Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami:
Mobile Processes with Local Clocks. 296-319
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/NicolaP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/NicolaP96
Rocco De Nicola, Rosario Pugliese:
Testing Semantics of Asynchronous Distributed Programs. 320-344
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/DeganoPLT96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/DeganoPLT96
Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen:
Analysis of Facile Programs: A Case Study. 345-369
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/FrancescoSV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/FrancescoSV96
Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini:
A Non-Standard Semantics for Generating Reduced Transition Systems. 370-387
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/Levi96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/Levi96
Francesca Levi:
A Process Language for Statecharts. 388-403
- view
  authority control:
- export record
  dblp key:
  - conf/lomaps/Maggiolo-SchettiniM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lomaps/Maggiolo-SchettiniM96
Andrea Maggiolo-Schettini, Massimo Merro:
Prorities in Statecharts. 404-429

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.