Semantic Hierarchy Refactoring by Abstract Interpretation.

Francesco Logozzo, Agostino Cortesi

Browse the full VMCAI paper archive.