16 search results - page 4 / 4 » A Deductive Proof System for Multithreaded Java with Excepti... |
138
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...