The tag has no wiki summary.

learn more… | top users | synonyms

11
votes
2answers
794 views

Dijkstra's example of an ambiguous program

Salutations. Dijkstra wrote that even a few lines of seemingly simple code could be hopelessly ambiguous. In at least one work, which I can't find now to save my life, he gave a little example program ...