Automatic Coding Rule Conformance Checking Using Logic Programming.

Guillem Marpons-Ucero Julio Mariño-Carballo Manuel Carro Ángel Herranz-Nieva Juan José Moreno-Navarro Lars-Åke Fredlund Automatic Coding Rule Conformance Checking Using Logic Programming. 18-34 2008 conf/padl/2008 PADL http://dx.doi.org/10.1007/978-3-540-77442-6_3 db/conf/padl/padl2008.html#Marpons-UceroMCHMF08