2 search results - page 1 / 1 » Inductive Proof Outlines for Monitors in Java |
FMOODS
2003
13 years 6 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
ENTCS
2006
13 years 4 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...