Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: JinjaDCI: a Java semantics with...


view this post on Zulip Email Gateway (Jan 13 2021 at 09:37):

From: Tobias Nipkow <nipkow@in.tum.de>
JinjaDCI: a Java semantics with dynamic class initialization
Susannah Mansky

We extend Jinja to include static fields, methods, and instructions, and dynamic
class initialization, based on the Java SE 8 specification. This includes
extension of definitions and proofs. This work is partially described in Mansky
and Gunter's paper at CPP 2019 and Mansky's doctoral thesis (UIUC, 2020).

https://www.isa-afp.org/entries/JinjaDCI.html

The first AFP entry in 2021 - Happy New Year!
smime.p7s


Last updated: Dec 05 2021 at 22:18 UTC