A formalisation of Java's exception mechanism

DOI10.1007/3-540-45309-1_19MaRDI QIDQ2763679zbMATH OpenFDO

Authors Bart Jacobs

Publication date 21 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2028/20280284

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• Algebraic Methodology and Software Technology
• Algebra and Coalgebra in Computer Science
• An axiomatic treatment of exception handling in an expression-oriented language
• A deductive proof system for multithreaded Java with exceptions
• Java and the Java memory model -- a unified, machine-checked formalisation

Cited in

(10)

• A Hoare-like verification system for a language with an exception handling mechanism
• Coalgebras and monads in the semantics of Java
• Weakest pre-condition reasoning for Java programs with JML annotations
• Data flow analysis of Java programs in the presence of exceptions
• Runtime Exception Detection in Java Programs Using Symbolic Execution
• An axiomatic treatment of exception handling in an expression-oriented language
• scientific article; zbMATH DE number 2063227 (Why is no real title available?)
• Verification rules for exception handling in Eiffel
• Algebraic Methodology and Software Technology
• Computational Science and Its Applications – ICCSA 2004

Describes a project that uses

Uses Software

• JML
• PVS
• LOOP

This page was built for publication: A formalisation of Java's exception mechanism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2763679)