Discovering properties about arrays in simple programs (0)

by N Halbwachs, M Péron
Venue:In ACM Conference on Programming Language Design and Implementation, PLDI 2008