Goal−directed Weakening of Abstract Interpretation Results
Sunae Seo‚ Hongseok Yang‚ Kwangkeun Yi and Taisook Han
Journal
ACM Transactions on Programming Languages and Systems
Month
October
Number
6
Publisher
ACM
Volume
29
Year
2007
Sunae Seo‚ Hongseok Yang‚ Kwangkeun Yi and Taisook Han