Roberto Bagnara Patricia M. Hill Andrea Pescetti Enea Zaffanella On the Design of Generic Static Analyzers for Modern Imperative Languages http://arxiv.org/abs/cs/0703116 2007 CoRR abs/cs/0703116 db/journals/corr/corr0703.html#abs-cs-0703116 informal publication