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.

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

IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada. ed. / E. Neuhold. North-Holland Publishing Company, 1977. p. 237-277.

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

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. North-Holland Publishing Company, pp. 237-277.
Cousot P, Cousot R. Static determination of dynamic properties of recursive procedures. In Neuhold E, editor, IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada. North-Holland Publishing Company. 1977. p. 237-277
Cousot, Patrick ; Cousot, Radhia. / Static determination of dynamic properties of recursive procedures. IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada. editor / E. Neuhold. North-Holland Publishing Company, 1977. pp. 237-277
@inproceedings{84126f8882364ae5ac2f833d045178bd,
title = "Static determination of dynamic properties of recursive procedures",
author = "Patrick Cousot and Radhia Cousot",
year = "1977",
language = "English (US)",
pages = "237--277",
editor = "E. Neuhold",
booktitle = "IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada",
publisher = "North-Holland Publishing Company",

}

TY - GEN

T1 - Static determination of dynamic properties of recursive procedures

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1977

Y1 - 1977

M3 - Conference contribution

SP - 237

EP - 277

BT - IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada

A2 - Neuhold, E.

PB - North-Holland Publishing Company

ER -