Original language | English (US) |
---|---|
Title of host publication | Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona |
Publisher | ACM |
Pages | 84-97 |
State | Published - 1978 |
Automatic discovery of linear restraints among variables of a program
Patrick Cousot, N. Halbwachs
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution