Flemming Nielson;Hanne Riis Nielson
-;-
Disjunctive program analysis for algebraic data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes
SAS '02 Proceedings of the 9th International Symposium on Static Analysis