Limits and difficulties in the design of under-approximation abstract domains.

Flavio Ascari, Roberto Bruni, Roberta Gori

Browse the full FOSSACS paper archive.