宏程序契约逻辑合理性的讨论

摘要：

@@ 契约式编程在数控宏程序中被广泛应用,以保证复杂条件下的程序正确性,是一个非常有用的编程手段.但是如何正确有效地制订程序契约却并不是一件简单的事,如果我们不注意程序契约中逻辑的合理性,就很容易产生无效契约,从而无法实现保证程序正确性,加工安全性的目的.

机标关键词：宏程序、契约式、程序正确性、加工安全性、复杂条件、编程、合理性、应用、数控、逻辑

分类号：R54;G42

在线出版日期：2013-07-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：73-74