Work

Inductive Proof Outlines for Exceptions in Multithreaded Java

Year: 2006

Type: article

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

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2005.12.072

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

Institutions: University of Freiburg, Centrum Wiskunde & Informatica, Christian-Albrechts-Universität zu Kiel

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Deutsche Forschungsgemeinschaft, Nederlandse Organisatie voor Wetenschappelijk Onderzoek

OpenAlex ID: W2126319570

FWCI:

Cites: 22

Cited by: 1

Related to: 10