Frontiers and Open Sets in Abstract Interpretation

Sebastian Hunt. Frontiers and Open Sets in Abstract Interpretation. In FPCA. pages 1-13, 1989. [doi]