Email Gateway (Jan 13 2021 at 09:37): 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: Jan 04 2025 at 20:18 UTC