AMAST
2004
Springer
13 years 9 months ago
2004
Springer
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
We present a logic for reasoning about LOTOS behaviours which allows properties involving repeated patterns over actions and data to be expressed. The semantics of the logic is giv...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
AMAST
2004
Springer
13 years 9 months ago
2004
Springer