We develop abstract interpretation from topological principles by relaxing the definitions of open set and continuity; key results still hold. We study families of closed and open sets and show they generate post- and pre-condition analyses, respectively. Giacobazzi's forwards- and backwards-complete functions are characterized by the topologically closed and continuous maps, respectively. Finally, we show that Smyth's upper and lower topologies for powersets induce the overapproximating and underapproximating transition functions used for abstract-model checking. © 2009 Springer.
CITATION STYLE
Schmidt, D. A. (2009). Abstract interpretation from a topological perspective. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5673 LNCS, pp. 293–308). https://doi.org/10.1007/978-3-642-03237-0_20
Mendeley helps you to discover research relevant for your work.