|
|
|
|
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  |
LOMAPS  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Maggiolo-Schettini, Massimo Merro |
Prorities in Statecharts. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Schmidt |
Abstract Interpretation of Small-Step Semantics. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Venet |
Abstract Interpretation of the pi-Calculus. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
A Non-Standard Semantics for Generating Reduced Transition Systems. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen |
Analysis of Facile Programs: A Case Study. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Comini, Giorgio Levi, Maria Chiara Meo, Giuliana Vitiello |
Proving Properties of Logic Programs by Abstract Diagnosis. |
LOMAPS |
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. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Rosario Pugliese |
Testing Semantics of Asynchronous Distributed Programs. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Torben Amtoft |
Polymorphic Subtyping for Effect Analysis: The Algorithm. |
LOMAPS |
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. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierpaolo Degano, Jean-Vincent Loddo, Corrado Priami |
Mobile Processes with Local Clocks. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Levi |
A Process Language for Statecharts. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava |
Formalising and Prototyping a Concurrent Object-Based Language. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Jürgen Ammann |
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick Knabe |
An Overview of Mobile Agent Programming. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Wilhelm, Martin Helmut Alt, Florian Martin 0001, Martin Raber |
Parallel Implementation of Functional Languages. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Fradet, Daniel Le Métayer |
Type Checking for a Multiset Rewriting Language. |
LOMAPS |
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. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl-Filip Faxén |
Polyvariance, Polymorphism and Flow Analysis. |
LOMAPS |
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: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license