Marco Campion, Mila Dalla Preda, Roberto Giacobazzi. On the Properties of Partial Completeness in Abstract Interpretation. In Ugo Dal Lago, Daniele Gorla, editors, Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. Volume 3284 of CEUR Workshop Proceedings, pages 79-85, CEUR-WS.org, 2022. [doi]
@inproceedings{CampionPG22-0,
title = {On the Properties of Partial Completeness in Abstract Interpretation},
author = {Marco Campion and Mila Dalla Preda and Roberto Giacobazzi},
year = {2022},
url = {http://ceur-ws.org/Vol-3284/8665.pdf},
researchr = {https://researchr.org/publication/CampionPG22-0},
cites = {0},
citedby = {0},
pages = {79-85},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022},
editor = {Ugo Dal Lago and Daniele Gorla},
volume = {3284},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}