Inductive Proof Outlines for Exceptions in Multithreaded Java

Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
2006 Electronical Notes in Theoretical Computer Science  
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage.
doi:10.1016/j.entcs.2005.12.072 fatcat:fzd6wgbssjch5hmene5kclq7bi