Original language | English (US) |
---|---|
Title of host publication | Actes JTASPEFL '91, Bordeaux, France. BIGRE |
Editors | M. Billaud, P. Casteran, M.-M. Corsini, K. Musumbu, A. Rauzy |
Place of Publication | Rennes, France |
Publisher | IRISA |
Pages | 107-110 |
Volume | 74 |
State | Published - Oct 1991 |
Comparison of the Galois connection and widening/narrowing approaches to abstract interpretation
Patrick Cousot, Radhia Cousot
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution