Discovering properties about arrays in simple programs.

Nicolas Halbwachs, Mathias Pron

Browse the full PLDI paper archive.