|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 13 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mads Dam (eds.) |
Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![Springer, 3-540-62503-8 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Maggiolo-Schettini, Massimo Merro |
Prorities in Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 404-429, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
Abstract Interpretation of Small-Step Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 76-99, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Venet |
Abstract Interpretation of the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 51-75, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
A Non-Standard Semantics for Generating Reduced Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 370-387, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen |
Analysis of Facile Programs: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 345-369, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello |
Proving Properties of Logic Programs by Abstract Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 22-50, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Declarative diagnosis, Verification, Semantics, Logic Programming, Debugging |
1 | Régis Cridlig |
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 244-259, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Rosario Pugliese |
Testing Semantics of Asynchronous Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 320-344, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Flemming Nielson, Hanne Riis Nielson, Torben Amtoft |
Polymorphic Subtyping for Effect Analysis: The Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 207-243, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 1-21, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami |
Mobile Processes with Local Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 296-319, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Francesca Levi |
A Process Language for Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 388-403, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava |
Formalising and Prototyping a Concurrent Object-Based Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 116-125, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann |
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 172-206, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frederick Knabe |
An Overview of Mobile Agent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 100-115, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Wilhelm, Martin Helmut Alt, Florian Martin 0001, Martin Raber |
Parallel Implementation of Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 279-295, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Fradet, Daniel Le Métayer |
Type Checking for a Multiset Rewriting Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 126-140, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
multiset rewriting, verification, invariant, graph grammars, type checking |
1 | Hanne Riis Nielson, Flemming Nielson, Torben Amtoft |
Polymorphic Subtyping for Effect Analysis: The Static Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 141-171, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Karl-Filip Faxén |
Polyvariance, Polymorphism and Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOMAPS ![In: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, pp. 260-278, 1996, Springer, 3-540-62503-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms |
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|