Abstract interpretation and program modelling

David Schmidt. Abstract interpretation and program modelling. ACM SIGSOFT Software Engineering Notes, 25(1):81-82, 2000. [doi]

Abstract

Abstract is missing.