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