The SCEAS System
Navigation Menu

Conferences in DBLP

Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS) (lomaps)
1996 (conf/lomaps/1996)

  1. 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. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:1-21 [Conf]
  2. Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello
    Proving Properties of Logic Programs by Abstract Diagnosis. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:22-50 [Conf]
  3. Arnaud Venet
    Abstract Interpretation of the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:51-75 [Conf]
  4. David A. Schmidt
    Abstract Interpretation of Small-Step Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:76-99 [Conf]
  5. Frederick Knabe
    An Overview of Mobile Agent Programming. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:100-115 [Conf]
  6. Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava
    Formalising and Prototyping a Concurrent Object-Based Language. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:116-125 [Conf]
  7. Pascal Fradet, Daniel Le Métayer
    Type Checking for a Multiset Rewriting Language. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:126-140 [Conf]
  8. Hanne Riis Nielson, Flemming Nielson, Torben Amtoft
    Polymorphic Subtyping for Effect Analysis: The Static Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:141-171 [Conf]
  9. Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann
    Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:172-206 [Conf]
  10. Flemming Nielson, Hanne Riis Nielson, Torben Amtoft
    Polymorphic Subtyping for Effect Analysis: The Algorithm. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:207-243 [Conf]
  11. Régis Cridlig
    Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:244-259 [Conf]
  12. Karl-Filip Faxén
    Polyvariance, Polymorphism and Flow Analysis. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:260-278 [Conf]
  13. Reinhard Wilhelm, Martin Alt, Florian Martin, Martin Raber
    Parallel Implementation of Functional Languages. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:279-295 [Conf]
  14. Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami
    Mobile Processes with Local Clocks. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:296-319 [Conf]
  15. Rocco De Nicola, Rosario Pugliese
    Testing Semantics of Asynchronous Distributed Programs. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:320-344 [Conf]
  16. Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
    Analysis of Facile Programs: A Case Study. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:345-369 [Conf]
  17. Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini
    A Non-Standard Semantics for Generating Reduced Transition Systems. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:370-387 [Conf]
  18. Francesca Levi
    A Process Language for Statecharts. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:388-403 [Conf]
  19. Andrea Maggiolo-Schettini, Massimo Merro
    Prorities in Statecharts. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:404-429 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002