Abstract interpretation using typed decision graphs (1998)

by L Mauborgne
Venue:Science of Computer Programming