Frontiers and Open Sets in Abstract Interpretation

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

Abstract

Abstract is missing.