24 search results - page 2 / 5 » amast 2004 |
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
AMAST
2004
Springer
13 years 10 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 8 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...