ECS 220 6a:7.2-1 programming languages with interpreters have non-halting programs

From David Doty