Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Featherweight Java

Email Gateway (Aug 17 2022 at 14:15):

From: Gerwin Klein <gerwin.klein@nicta.com.au>
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

Last updated: May 03 2024 at 04:19 UTC