JinjaDCI: a Java semantics with dynamic class initialization

Susannah Mansky 📧

January 11, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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


Session JinjaDCI