@article{CampionPOPL2022,
	title = {Partial (In)Completeness in abstract interpretation: limiting the imprecision in program analysis},
	volume = {6},
	doi = {10.1145/3498721},
	url = {https://doi.org/10.1145/3498721},
	pages = {31},
	issue = {{POPL}},
	journal = {Proc. {ACM} Program. Lang.},
	author = {Campion, Marco and Dalla Preda, Mila and Giacobazzi, Roberto},
	year = {2022}
}