Automatic Discovery of Linear Restraints Among Variables of a Program (1978)
by
Patrick Cousot
,
Nicolas Halbwachs
| Citations: | 470 - 38 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}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
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.
Citations
No citations identified.
