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.