Even Simple Programs are Hard to Analyze.

Neil D. Jones, Steven S. Muchnick

Browse the full POPL paper archive.