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.

Automatic discovery of linear restraints among variables of a program. / Cousot, Patrick; Halbwachs, N.

Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona. ACM, 1978. p. 84-97.

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

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. ACM, pp. 84-97.
Cousot P, Halbwachs N. 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. ACM. 1978. p. 84-97
Cousot, Patrick ; Halbwachs, N. / Automatic discovery of linear restraints among variables of a program. Conference Record of the 5th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Program Languages (POPL), Tuscon, Arizona. ACM, 1978. pp. 84-97
@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",

}

TY - GEN

T1 - Automatic discovery of linear restraints among variables of a program

AU - Cousot, Patrick

AU - Halbwachs, N.

PY - 1978

Y1 - 1978

M3 - Conference contribution

SP - 84

EP - 97

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

PB - ACM

ER -