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

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

Original language	English (US)
Title of host publication	ACM Symposium on Language Design for Reliable Software, Raleigh, North Carolina
Publisher	ACM
Pages	77-94
State	Published - 1977

Cite this

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

}