Generic Models of the Laws of Programming
Generic Models of the Laws of Programming
复制标题
编程法则的通用模型
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
T. Hoare
中科院分区：
文献类型：
--
作者：
T. Hoare
编程定律是关于计算机程序平等和顺序的判断集合。法律的模型是对程序执行的数学描述，该模型已被证明是满足法律的。通用模型是具有可以调整到一系列不同编程语言及其不同实现和不同应用程序的属性的参数的模型。这样，通用模型就可以作为统一编程理论的基础。
The laws of programming are a collection of judgments about the equality and ordering of computer programs. A model of the laws is a mathematical description of the execution of programs, where the model has been proved to satisfy the laws. A generic model is one that has parameters that can be adjusted to the properties of a range of different programming languages and their differing implementations and differing applications. In this way, a generic model serves as the basis of a unifying theory of programming.