Compositional Optimization of Disjunctive Abstract Interpretations.

Roberto Giacobazzi, Francesco Ranzato

Browse the full ESOP paper archive.