Automatic discovery of linear restraints among variables of a program

Patrick Cousot, N. Halbwachs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationConference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona
PublisherACM
Pages84-97
StatePublished - 1978

Cite this

Cousot, P., & Halbwachs, N. (1978). Automatic discovery of linear restraints among variables of a program. In Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona (pp. 84-97). ACM.