Discovering properties about arrays in simple programs (2008)

Cached

Download Links

by Nicolas Halbwachs , Mathias Péron
Venue:PLDI’2008
Citations:25 - 1 self