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.

Authors

Roberto Giacobazzi

This author has not been identified. Look up 'Roberto Giacobazzi' in Google

Francesco Ranzato

This author has not been identified. Look up 'Francesco Ranzato' in Google