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

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen
• Keywords: Assertional Proof, ENTCS 2006, Multithreaded Java Sublanguage, Operational Semantics