Re: [isabelle] Featherweight Java formalization in Isabelle?

Is there an available formalization of FJ for Isabelle? I've read (on
the POPLmark page) that it is available "soon".

We have (finally!) finished tidying up our modest formalization of FJ's type soundness proof and submitted it to AFP. Interested parties can grab the current revision from the POPLMark Wiki, or directly:

 source   :
 document :
 outline  :

Send comments/criticisms/suggestions to {jnfoster,dimitriv}

nate + dimitris

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