Abstract Interpretation: A Kind of Magic

Ulf Nilsson. Abstract Interpretation: A Kind of Magic. Theoretical Computer Science, 142(1):125-139, 1995. [doi]

Abstract

Abstract is missing.