Inductive Proof Outlines for Exceptions in Multithreaded Java

  • Authors:
  • Erika Ábrahám;Frank S. de Boer;Willem-Paul de Roever;Martin Steffen

  • Affiliations:
  • Albert-Ludwigs-University Freiburg, Germany;CWI Amsterdam, The Netherlands;Institute for Computer Science and Applied Mathematics, Christian-Albrechts-Universität zu Kiel, Germany;Institute for Computer Science and Applied Mathematics, Christian-Albrechts-Universität zu Kiel, Germany

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage.