Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997
DBLP:	db/conf/lomaps/lomaps96.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 19  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann. Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello. Proving Properties of Logic Programs by Abstract Diagnosis.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Régis Cridlig. Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami. Mobile Processes with Local Clocks.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen. Analysis of Facile Programs: A Case Study.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Karl-Filip Faxén. Polyvariance, Polymorphism and Flow Analysis.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Pascal Fradet, Daniel Le Métayer. Type Checking for a Multiset Rewriting Language.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini. A Non-Standard Semantics for Generating Reduced Transition Systems.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava. Formalising and Prototyping a Concurrent Object-Based Language.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996
	Conference paper Frederick Knabe. An Overview of Mobile Agent Programming.	Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997	(0)	1996

Show item 1 to 10 of 19  

Your query returned 19 matches in the database.