Dijkstra的一个模糊程序的例子

时间:2011-06-02 23:30:02

标签: dijkstra ambiguity

拜。 Dijkstra写道,即使是几行看似简单的代码也可能毫无希望地模糊不清。在至少一件我现在无法找到的拯救生命的作品中,他给出了一个示例程序来证明这种模糊性。任何人都可以向我发表一篇关于他在哪些文章中包含其中一个例子的论文吗?

0 个答案:

没有答案