JinjaDCI: a Java semantics with dynamic class initialization

Susannah Mansky 📧

January 11, 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).

License

BSD License

Topics

Session JinjaDCI

Depends on

Used by

Auto-related entries

Cite

× 
@article{JinjaDCI-AFP,
  author  = {Susannah Mansky},
  title   = {JinjaDCI: a Java semantics with dynamic class initialization},
  journal = {Archive of Formal Proofs},
  month   = {January},
  year    = {2021},
  note    = {\url{https://isa-afp.org/entries/JinjaDCI.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: