Patrick Cousot, Nicolas Halbwachs. Automatic Discovery of Linear Restraints Among Variables of a Program. In POPL. pages 84-96, 1978.
@inproceedings{CousotH78, title = {Automatic Discovery of Linear Restraints Among Variables of a Program}, author = {Patrick Cousot and Nicolas Halbwachs}, year = {1978}, tags = {discovery}, researchr = {https://researchr.org/publication/CousotH78}, cites = {0}, citedby = {0}, pages = {84-96}, booktitle = {POPL}, }