Perguntas com a marcação «ambiguity»

12
O exemplo de Dijkstra de um programa ambíguo

Saudações. Dijkstra escreveu que mesmo algumas linhas de código aparentemente simples poderiam ser irremediavelmente ambíguas. Em pelo menos um trabalho, que não consigo encontrar agora para salvar minha vida, ele deu um pequeno exemplo de programa para demonstrar essa ambiguidade. Alguém pode me...