Patrick Cousot, Radhia Cousot. Static Determination of Dynamic Properties of Generalized Type Unions. In Language Design for Reliable Software. pages 77-94, 1977.
@inproceedings{CousotC77:0,
title = {Static Determination of Dynamic Properties of Generalized Type Unions},
author = {Patrick Cousot and Radhia Cousot},
year = {1977},
researchr = {https://researchr.org/publication/CousotC77%3A0},
cites = {0},
citedby = {0},
pages = {77-94},
booktitle = {Language Design for Reliable Software},
}