Guillem Marpons-Ucero

Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler

Dominique Colnet, Guillem Marpons-Ucero, Frederic Merizen, 2006, ICSR.

Automatic Coding Rule Conformance Checking Using Logic Programs pdf

Lars-Åke Fredlund, Juan José Moreno-Navarro, Manuel Carro, 2007, ArXiv.

A Coding Rule Conformance Checker Integrated into GCC

Lars-Åke Fredlund, Juan José Moreno-Navarro, Manuel Carro, 2009, Electron. Notes Theor. Comput. Sci..

Automatic Coding Rule Conformance Checking Using Logic Programming

Lars-Åke Fredlund, Juan José Moreno-Navarro, Manuel Carro, 2008, PADL.