From: Tobias Nipkow <email@example.com>
JinjaDCI: a Java semantics with dynamic class initialization
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