Undecidability of static analysis. (1992)

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