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.