Undecidability of Static Analysis (1992)

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