Patrick Cousot, Radhia Cousot
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation
SAS, 1991.
@inproceedings{WSA-1991-CousotC91a, author = "Patrick Cousot and Radhia Cousot", booktitle = "{Proceedings of the First Workshop on Static Analysis at JTASPEFL in Bordeaux}", pages = "107--110", publisher = "{Atelier Irisa, IRISA, Campus de Beaulieu}", series = "{Series Bigre}", title = "{Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation}", volume = 74, year = 1991, }