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