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 <>
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).

The first AFP entry in 2021 - Happy New Year!

Last updated: Jan 25 2022 at 01:11 UTC