Automatic Coding Rule Conformance Checking Using Logic Programs

Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz +3

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 reali…