@inproceedings{HP08,
title = { Discovering Properties about Arrays in Simple Programs },
author = {Halbwachs, Nicolas and P\'eron, Mathias},
month = {jun},
year = {2008},
booktitle = {ACM Conference on Programming Language Design and Implementation, PLDI 2008},
address = {Tucson (Az.)},
pages = {339--348},
team = {SYNC},
}