Discovering properties about arrays in simple programs (2008)

Cached

Download Links

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