Lightweight Java

Title:	Lightweight Java
Author:	Rok Strniša and Matthew Parkinson
Submission date:	2011-02-07
Abstract:	A fully-formalized and extensible minimal imperative fragment of Java.
License:	BSD License

Proof outline Proof document

Browse theories

Download this entry

Older releases: Isabelle 2011: afp-LightweightJava-2011-03-02.tar.gz