JinjaDCI: A Java Semantics With Dynamic Class Initialization

Susannah Mansky

11 January 2021

Abstract

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

Depends On

Used by

Topics

Theories