C.A.R. HOARE----计算机程序设计的公理基础(An Axiomatic Basis for Computer Programming)我不确定我理解了这篇文章。作者说此文是关于程序设计的，然而却未见一行代码。
这篇文章引入这样一种观点：程序语句可以被赋予一种推理规则，依此规则，可以显示程序是否可以按其意图完成计算。对于一个程序的意图是否可以用作者声明的那些术语来定义我持保留态度----我们知道，真实程序这方面的特征总是相当的模糊。如果做一些合适的调整，这篇文章的思想也许还说得过去，不过就现阶段，离本刊的要求尚相差甚远。对任何刊物，此文若欲付梓都尚显不足，因此建议作者可将这样的初步的想法投到一个workshop。
如果作者欲在期刊发表，他应该在诸多方面有更深入的工作。程序的功能可以被赋予几个特定的值----这种假设，对于交互式的程序不甚切合实际：作者应该向我们展示他的方法如何契合指定需求的工业标准。作者也应该针对标准的程序设计语言，如COBOL、PL/I等，扩展其方法，使其能够应用到这些语言，并提供相关细节和实现，可能的画，能够提供一些图来说明其方法在实践中的应用。
就现在作者所做，恐怕还是试验性的，不建议发表。(Until this is done, I fear the work is too tentative and preliminary for publication.)
没有评论:
发表评论