Sciweavers

Share
3 search results - page 1 / 1
» Inductive Proof Outlines for Exceptions in Multithreaded Jav...
Sort
View
ENTCS
2006
106views more  ENTCS 2006»
9 years 10 months ago
Inductive Proof Outlines for Exceptions in Multithreaded Java
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...
Erika Ábrahám, Frank S. de Boer, Wil...
FMOODS
2003
9 years 11 months ago
Inductive Proof Outlines for Monitors in Java
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 ...
Erika Ábrahám, Frank S. de Boer, Wil...
FUIN
2008
91views more  FUIN 2008»
9 years 10 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
books