DMCA
Automatic Discovery of Linear Restraints Among Variables of a Program (1978)
by
Patrick Cousot
,
Nicolas Halbwachs
| Citations: | 725 - 43 self |
BibTeX
@INPROCEEDINGS{Cousot78automaticdiscovery,
author = {Patrick Cousot and Nicolas Halbwachs},
title = {Automatic Discovery of Linear Restraints Among Variables of a Program},
booktitle = {},
year = {1978},
pages = {84--97},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The model of abstract interpretation of programs developed by Cousot and Cousot [2nd ISOP, 1976], Cousot and Cousot [POPL 1977] and Cousot [PhD thesis 1978] is applied to the static determination of linear equality or inequality invariant relations among numerical variables of programs.
