[isabelle] new AFP entry: LightweightJava



We're pleased to announce the availability of another new entry in the AFP:

LightweightJava by Rok Strniša and Matthew Parkinson

Abstract:
A fully-formalized and extensible minimal imperative fragment of Java.

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

Cheers,
Gerwin




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