POLYMORPHIC TYPE ANALYSIS IN LOGIC PROGRAMS BY ABSTRACT INTERPRETATION (1994)

by Lunjin Lu
Venue: J. LOGIC PROGRAMMING 1994:19, 20:1–679
Citations:11 - 9 self