Samuel da Silva Feitosa, Alejandro Serrano Mena, Rodrigo Geraldo Ribeiro, André Rauber Du Bois. An Inherently-Typed Formalization for Featherweight Java. In Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019. pages 11-18, ACM, 2019. [doi]
@inproceedings{FeitosaMRB19,
title = {An Inherently-Typed Formalization for Featherweight Java},
author = {Samuel da Silva Feitosa and Alejandro Serrano Mena and Rodrigo Geraldo Ribeiro and André Rauber Du Bois},
year = {2019},
doi = {10.1145/3355378.3355385},
url = {https://doi.org/10.1145/3355378.3355385},
tags = {Intrinsic-Verification},
researchr = {https://researchr.org/publication/FeitosaMRB19},
cites = {0},
citedby = {0},
pages = {11-18},
booktitle = {Proceedings of the XXIII Brazilian Symposium on Programming Languages, SBLP 2019, Salvador, Brazil, September 23-27, 2019},
publisher = {ACM},
isbn = {978-1-4503-7638-9},
}