[isabelle] New AFP entry: Featherweight Java



We are pleased to announce the availability of a new entry 
in the Archive of Formal Proofs at [http://afp.sf.net/]:

A Theory of Featherweight Java in Isabelle/HOL
by J. Nathan Foster and Dimitrios Vytiniotis

Abstract:
We formalize the type system, small-step operational semantics, and type 
soundness proof for Featherweight Java, a simple object calculus, in 
Isabelle/HOL.

URL: http://afp.sourceforge.net/entries/FeatherweightJava.shtml

Cheers,
Gerwin





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.