利用逻辑程序实现编码规则的自动一致性检查
Automatic Coding Rule Conformance Checking Using Logic Programs
摘要：
提高程序可靠性的一些方法涉及程序设计语言的有纪律的使用，以便最小化由容易出错的特征引入的危险。这是通过编写代码来实现的，该代码被约束到先验容许程序的子集，并且，此外，可以仅使用语言的子集。这些子集由所谓的编码规则的集合确定。
英文摘要：
Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori admissible programs, and that, moreover, may use only a subset of the language. These subsets are determined by a collection of so-called coding rules.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
