# JinjaDCI: a Java semantics with dynamic class initialization

 Title: JinjaDCI: a Java semantics with dynamic class initialization Author: Susannah Mansky (sjohnsn2 /at/ illinois /dot/ edu) Submission date: 2021-01-11 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). BibTeX: @article{JinjaDCI-AFP, author = {Susannah Mansky}, title = {JinjaDCI: a Java semantics with dynamic class initialization}, journal = {Archive of Formal Proofs}, month = jan, year = 2021, note = {\url{https://isa-afp.org/entries/JinjaDCI.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Depends on: Jinja, List-Index Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.