Assertions in programming languages
Assertions in programming languages
复制标题
编程语言中的断言
DOI：
10.1145/954127.954139
复制
发表时间：
1980
影响因子：
--
通讯作者：
R. Taylor
中科院分区：
文献类型：
--
作者：
R. Taylor
在应用程序中嵌入主张以帮助计划验证和测试的概念并非新的；然而，编程语言设计师至少以有用的方式向他们提供了。国防部语言ADA是一个很好的例子。简要审查了断言的使用，给出了将其纳入语言的建议，并显示了如何为语言提供的hal/s提供的示例。
The notion of embedding assertions in applications programs to aid in program verification and testing is not at all new; yet programming language designers seem loath to provide them, at least in useful ways. The Department of Defense language Ada is a case in point. The use of assertions is briefly reviewed, suggestions for their incorporation in languages is given, and an example of how they have been provided for the language HAL/S is shown.