Open AccessInductive Proof Outlines for Exceptions in Multithreaded Java
Author(s) -
Erika Ábrahám,
Frank S. de Boer,
Willem-Paul de Roever,
Martín Steffen
Publication year - 2006
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2005.12.072
Subject(s) - sublanguage , programming language , computer science , java , semantics (computer science)
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom