Static determination of dynamic properties of recursive procedures

Patrick Cousot, Radhia Cousot

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

Original languageEnglish (US)
Title of host publicationIFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada
EditorsE. Neuhold
PublisherNorth-Holland Publishing Company
Pages237-277
StatePublished - 1977

Cite this

Cousot, P., & Cousot, R. (1977). Static determination of dynamic properties of recursive procedures. In E. Neuhold (Ed.), IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada (pp. 237-277). North-Holland Publishing Company.