利用逻辑程序自动检查编码规则符合性
编程语言
2007-11-06 v1 软件工程
摘要
一些提高程序可靠性的方法涉及对编程语言的规范使用，以最大限度地减少由易出错特性引入的风险。这是通过编写受限于先验允许程序子集的代码来实现的，而且该代码只能使用语言的一个子集。这些子集由一组所谓的编码规则确定。
引用
@article{arxiv.0711.0344,
title = {Automatic Coding Rule Conformance Checking Using Logic Programs},
author = {Guillem Marpons-Ucero and Julio Mariño and Ángel Herranz and Lars-Åke Fredlund and Manuel Carro and Juan José Moreno-Navarro},
journal= {arXiv preprint arXiv:0711.0344},
year = {2007}
}
评论
Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)