Static determination of dynamic properties of programs

Patrick Cousot, Radhia Cousot

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

Original languageEnglish (US)
Title of host publicationProceedings of the 2nd International Symposium on Programming, Paris, France
PublisherDunod
Pages106-130
StatePublished - 1976

Cite this

Cousot, P., & Cousot, R. (1976). Static determination of dynamic properties of programs. In Proceedings of the 2nd International Symposium on Programming, Paris, France (pp. 106-130). Dunod.

Static determination of dynamic properties of programs. / Cousot, Patrick; Cousot, Radhia.

Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, 1976. p. 106-130.

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

Cousot, P & Cousot, R 1976, Static determination of dynamic properties of programs. in Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, pp. 106-130.
Cousot P, Cousot R. Static determination of dynamic properties of programs. In Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod. 1976. p. 106-130
Cousot, Patrick ; Cousot, Radhia. / Static determination of dynamic properties of programs. Proceedings of the 2nd International Symposium on Programming, Paris, France. Dunod, 1976. pp. 106-130
@inproceedings{2ac31f70bfa246b58e2a4de52ddb2385,
title = "Static determination of dynamic properties of programs",
author = "Patrick Cousot and Radhia Cousot",
year = "1976",
language = "English (US)",
pages = "106--130",
booktitle = "Proceedings of the 2nd International Symposium on Programming, Paris, France",
publisher = "Dunod",

}

TY - GEN

T1 - Static determination of dynamic properties of programs

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1976

Y1 - 1976

M3 - Conference contribution

SP - 106

EP - 130

BT - Proceedings of the 2nd International Symposium on Programming, Paris, France

PB - Dunod

ER -