Properties of a Type Abstract Interpreter.

Roberta Gori, Giorgio Levi

Browse the full VMCAI paper archive.