Abstract Interpretation

Patrick Cousot. Abstract Interpretation. ACM Computing Surveys, 28(2):324-328, 1996.

Abstract

Abstract is missing.