2008 |
3 | EE | 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.
PADL 2008: 18-34 |
2007 |
2 | EE | Guillem Marpons-Ucero,
Julio Mariño,
Ángel Herranz-Nieva,
Lars-Åke Fredlund,
Manuel Carro,
Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs
CoRR abs/0711.0344: (2007) |
2006 |
1 | EE | Dominique Colnet,
Guillem Marpons-Ucero,
Frederic Merizen:
Reconciling Subtyping and Code Reuse in Object-Oriented Languages: Using inherit and insert in SmartEiffel, the GNU Eiffel Compiler.
ICSR 2006: 203-216 |