Automatic discovery of linear restraints among variables of a program

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Cite this

@inproceedings{d3ec1634fda14551935fe5ce7bbf0419,

title = "Automatic discovery of linear restraints among variables of a program",

author = "Patrick Cousot and N. Halbwachs",

year = "1978",

language = "English (US)",

pages = "84--97",

booktitle = "Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona",

publisher = "ACM",

}