Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation

Patrick Cousot, Radhia Cousot

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

Original languageEnglish (US)
Title of host publicationActes JTASPEFL '91, Bordeaux, France. BIGRE
EditorsM. Billaud, P. Casteran, M.-M. Corsini, K. Musumbu, A. Rauzy
Place of PublicationRennes, France
PublisherIRISA
Pages107-110
Volume74
StatePublished - Oct 1991

Cite this

Cousot, P., & Cousot, R. (1991). Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation. In M. Billaud, P. Casteran, M-M. Corsini, K. Musumbu, & A. Rauzy (Eds.), Actes JTASPEFL '91, Bordeaux, France. BIGRE (Vol. 74, pp. 107-110). IRISA.