Undecidability of static analysis (1992)

by W Landi
Venue:ACM Letters on Programming Languages and Systems