CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Publications in Component-Based Software Development


Articles in Refereed Conferences:

  1. G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 18-34, Springer Verlag, January 2008.


Technical Reports and Manuals:

  1. G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. Num. CLIP6/2007.0, Technical University of Madrid (UPM), August 2007.



Last updated on Tue Feb 27 02:13:55 PM CET 2024