|Halting problem and programming languages. email@example.com (1995-06-24)|
|From:||firstname.lastname@example.org (Daniel J. Salomon)|
|Organization:||Computer Science, University of Manitoba, Winnipeg, Canada|
|Date:||Sat, 24 Jun 1995 12:15:10 GMT|
Can anyone remember the reference for the paper that showed that
for any language that is powerful enough to write its own translator,
it is not possible to solve the halting problem for programs written
in that language? All that I can remember is that it was written
in about 1972.
Daniel J. Salomon -- salomon@cs.UManitoba.CA
Dept. of Computer Science / University of Manitoba
Winnipeg, Manitoba, Canada R3T 2N2 / (204) 474-8687
Return to the
Search the comp.compilers archives again.