A relationship between abstract interpretation and projection analysis (extended abstract (1990)

by G L Burn
Venue:In 17 th POPL