Sciweavers

Share
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...
books