Automatic Coding Rule Conformance Checking Using Logic Programming.

Guillem Marpons-Ucero, Julio Mario-Carballo, Manuel Carro, ngel Herranz-Nieva, Juan Jos Moreno-Navarro, Lars-ke Fredlund

Browse the full PADL paper archive.