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
Used by: Regression_Test_Selection