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.

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

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: