A Logic for Locally Complete Abstract Interpretations.

Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Francesco Ranzato

Browse the full LICS paper archive.