@inproceedings{mansky2019dynamic,
author = {Mansky, Susannah and Gunter, Elsa L.},
title = {Dynamic Class Initialization Semantics: A Jinja Extension},
year = {2019},
isbn = {9781450362221},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3293880.3294104},
doi = {10.1145/3293880.3294104},
booktitle = {Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs},
pages = {209--221},
numpages = {13},
keywords = {type safety, compilation, interactive theorem proving, Java, dynamic class initialization, operational semantics, Java Virtual Machine},
location = {Cascais, Portugal},
series = {CPP 2019}
}