Sciweavers

ENTCS
2006

Inductive Proof Outlines for Exceptions in Multithreaded Java

14 years 5 days 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, exceptions, proof systems
Erika Ábrahám, Frank S. de Boer, Wil
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
Comments (0)