Static Analysis: 14th International Symposium, SAS 2007, ...
Preview
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
Francesco Banterle and Roberto Giacobazzi Dipartimento di Informatica
Universit`a degli Studi di Verona Strada Le Grazie 15, 37134 Verona, Italy ...