Marco Campion, Mila Dalla Preda, Roberto Giacobazzi
Abstract Interpretation of Indexed Grammars
SAS, 2019.
@inproceedings{SAS-2019-CampionPG,
author = "Marco Campion and Mila Dalla Preda and Roberto Giacobazzi",
booktitle = "{Proceedings of the 26th International Static Analysis Symposium}",
doi = "10.1007/978-3-030-32304-2_7",
isbn = "['978-3-030-32303-5', '978-3-030-32304-2']",
pages = "121--139",
publisher = "{Springer}",
title = "{Abstract Interpretation of Indexed Grammars}",
year = 2019,
}
Tags: