Static determination of dynamic properties of recursive procedures

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	IFIP Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada
Editors	E. Neuhold
Publisher	North-Holland Publishing Company
Pages	237-277
State	Published - 1977

Cite this

@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",

}