researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
1996
1997
Filter by Tag
[+]
OR
AND
NOT
1
Meta-Environment
Pascal
analysis
case study
data-flow
data-flow analysis
graph-rewriting
logic
logic programming
meta-model
meta-objects
mobile
program analysis
programming
rewriting
rule-based
semantics
static analysis
subtyping
testing
Filter by Author
[+]
OR
AND
NOT
1
Alan Mycroft
Andrea Maggiolo-Schettini
Antonella Santone
Arnaud Venet
Bent Thomsen
Corrado Priami
Daniel Le Métayer
David A. Schmidt
Flemming Nielson
Florian Martin
Francesca Levi
Frederick Knabe
Fredrik Orava
Gigliola Vaglini
Giorgio Levi
Giuliana Vitiello
Hanne Riis Nielson
Jari Koistinen
Pierpaolo Degano
Torben Amtoft
Filter by Top terms
[+]
OR
AND
NOT
1
1996
24-26
5th
abstract
agent
algorithm
analysis
concurrent
effect
interpretation
language
languages
mobile
polymorphic
programs
semantics
statecharts
static
subtyping
systems
LOMAPS (lomaps)
Editions
Publications
Viewing Publication 1 - 20 from 20
1997
Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
Mads Dam
, editor,
Volume 1192 of
Lecture Notes in Computer Science
, Springer,
1997.
1996
Polymorphic Subtyping for Effect Analysis: The Dynamic Semantics
Torben Amtoft
,
Flemming Nielson
,
Hanne Riis Nielson
,
Jürgen Ammann
.
lomaps 1997
:
172-206
Proving Properties of Logic Programs by Abstract Diagnosis
Marco Comini
,
Giorgio Levi
,
Maria Chiara Meo
,
Giuliana Vitiello
.
lomaps 1997
:
22-50
Implementing a Static Analyzer of Concurrent Programs: Problems and Perspectives
Régis Cridlig
.
lomaps 1997
:
244-259
Analysis of Facile Programs: A Case Study
Pierpaolo Degano
,
Corrado Priami
,
Lone Leth
,
Bent Thomsen
.
lomaps 1997
:
345-369
Mobile Processes with Local Clocks
Pierpaolo Degano
,
Jean-Vincent Loddo
,
Corrado Priami
.
lomaps 1997
:
296-319
Polyvariance, Polymorphism and Flow Analysis
Karl-Filip Faxén
.
lomaps 1997
:
260-278
Type Checking for a Multiset Rewriting Language
Pascal Fradet
,
Daniel Le Métayer
.
lomaps 1997
:
126-140
A Non-Standard Semantics for Generating Reduced Transition Systems
Nicoletta De Francesco
,
Antonella Santone
,
Gigliola Vaglini
.
lomaps 1997
:
370-387
Formalising and Prototyping a Concurrent Object-Based Language
Lars-Åke Fredlund
,
Jari Koistinen
,
Fredrik Orava
.
lomaps 1997
:
116-125
An Overview of Mobile Agent Programming
Frederick Knabe
.
lomaps 1997
:
100-115
A Process Language for Statecharts
Francesca Levi
.
lomaps 1997
:
388-403
Prorities in Statecharts
Andrea Maggiolo-Schettini
,
Massimo Merro
.
lomaps 1997
:
404-429
Testing Semantics of Asynchronous Distributed Programs
Rocco De Nicola
,
Rosario Pugliese
.
lomaps 1997
:
320-344
Polymorphic Subtyping for Effect Analysis: The Algorithm
Flemming Nielson
,
Hanne Riis Nielson
,
Torben Amtoft
.
lomaps 1997
:
207-243
Polymorphic Subtyping for Effect Analysis: The Static Semantics
Hanne Riis Nielson
,
Flemming Nielson
,
Torben Amtoft
.
lomaps 1997
:
141-171
Logical and Operational Methods in the Analysis of Programs and Systems
Flemming Nielson
,
Patrick Cousot
,
Mads Dam
,
Pierpaolo Degano
,
Pierre Jouvelot
,
Alan Mycroft
,
Bent Thomsen
.
lomaps 1997
:
1-21
Abstract Interpretation of Small-Step Semantics
David A. Schmidt
.
lomaps 1997
:
76-99
Abstract Interpretation of the pi-Calculus
Arnaud Venet
.
lomaps 1997
:
51-75
Parallel Implementation of Functional Languages
Reinhard Wilhelm
,
Martin Alt
,
Florian Martin
,
Martin Raber
.
lomaps 1997
:
279-295
Sign in
or
sign up
to see more results.