Optimal Domains for Disjunctive Abstract Intepretation

Roberto Giacobazzi, Francesco Ranzato. Optimal Domains for Disjunctive Abstract Intepretation. Science of Computer Programming, 32(1-3):177-210, 1998.

Abstract

Abstract is missing.