Improving precision of type analysis using non-discriminative union

Lunjin Lu. Improving precision of type analysis using non-discriminative union. TPLP, 8(1):33-79, 2008. [doi]

Abstract

Abstract is missing.