Roberto Giacobazzi Francesco Ranzato Francesca Scozzari Making Abstract Domains Condensing http://arxiv.org/abs/cs.PL/0204016 2002 CoRR cs.PL/0204016 db/journals/corr/corr0204.html#cs-PL-0204016 informal publication