@inproceedings{9c9064ccc714404a908558f61db5472e,
title = "Comparing the galois connection and widening/narrowing approaches to abstract interpretation",
abstract = "The use of infinite abstract domains with widening and narrowing for accelerating the convergence of abstract interpretations is shown to be more powerful than the Galois connection approach restricted to finite lattices (or lattices satisfying the chain condition).",
author = "Patrick Cousot and Radhia Cousot",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1992.; 4th International Symposium on Programming Language Implementation and Logic Programming, PLILP 1992 ; Conference date: 26-08-1992 Through 28-08-1992",
year = "1992",
doi = "10.1007/3-540-55844-6_142",
language = "English (US)",
isbn = "9783540558446",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "269--295",
editor = "Maurice Bruynooghe and Martin Wirsing",
booktitle = "Programming Language Implementation and Logic Programming - 4th International Symposium, PLILP 1992, Proceedings",
}