Static determination of dynamic properties of generalized type unions: Mathematical foundations

Patrick Cousot, Radhia Cousot

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

Original languageEnglish (US)
Title of host publicationACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina
PublisherACM
Pages77-94
StatePublished - 1977

Publication series

NameACM SIGPLAN Notices
Number3
Volume12

Cite this

Cousot, P., & Cousot, R. (1977). Static determination of dynamic properties of generalized type unions: Mathematical foundations. In ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina (pp. 77-94). (ACM SIGPLAN Notices; Vol. 12, No. 3). ACM.

Static determination of dynamic properties of generalized type unions : Mathematical foundations. / Cousot, Patrick; Cousot, Radhia.

ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina. ACM, 1977. p. 77-94 (ACM SIGPLAN Notices; Vol. 12, No. 3).

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

Cousot, P & Cousot, R 1977, Static determination of dynamic properties of generalized type unions: Mathematical foundations. in ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina. ACM SIGPLAN Notices, no. 3, vol. 12, ACM, pp. 77-94.
Cousot P, Cousot R. Static determination of dynamic properties of generalized type unions: Mathematical foundations. In ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina. ACM. 1977. p. 77-94. (ACM SIGPLAN Notices; 3).
Cousot, Patrick ; Cousot, Radhia. / Static determination of dynamic properties of generalized type unions : Mathematical foundations. ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina. ACM, 1977. pp. 77-94 (ACM SIGPLAN Notices; 3).
@inproceedings{033437920c8a4ec1bf23399ba9ca2a24,
title = "Static determination of dynamic properties of generalized type unions: Mathematical foundations",
author = "Patrick Cousot and Radhia Cousot",
year = "1977",
language = "English (US)",
series = "ACM SIGPLAN Notices",
publisher = "ACM",
number = "3",
pages = "77--94",
booktitle = "ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina",

}

TY - GEN

T1 - Static determination of dynamic properties of generalized type unions

T2 - Mathematical foundations

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 1977

Y1 - 1977

M3 - Conference contribution

T3 - ACM SIGPLAN Notices

SP - 77

EP - 94

BT - ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina

PB - ACM

ER -