John Toman, Dan Grossman
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates
ECOOP, 2018.
@inproceedings{ECOOP-2018-TomanG,
author = "John Toman and Dan Grossman",
booktitle = "{Proceedings of the 32nd European Conference on Object-Oriented Programming}",
doi = "10.4230/LIPIcs.ECOOP.2018.24",
isbn = "978-3-95977-079-8",
pages = "32",
publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
title = "{Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates}",
year = 2018,
}