Automatic Coding Rule Conformance Checking Using Logic Programs
Programming Languages
2007-11-06 v1 Software Engineering
Abstract
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.
Cite
@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}
}
Comments
Paper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)