Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A Coding Rule Conformance Checker Integrated into GCC.
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Coding rules are often used in industry for codifying software best practices and avoiding the many hazardous constructions present in languages such as C or C++. Predictable and customisable tools are needed to automatically measure adherence to these practices. Many of the properties about software needed for rule conformance analysis are calculated by modern compilers. We present an extension of the GNU Compiler Collection (GCC) that flags those code fragments that do not conform to a given set of rules. The user can define coding rules using a high-level declarative language based on logic programming.
Internacional
No
Nombre congreso
VIII Jornadas sobre Programación y Lenguajes, PROLE 2008
Tipo de participación
960
Lugar del congreso
Gijón, España
Revisores
Si
ISBN o ISSN
978-84-612-5819-2
DOI
Fecha inicio congreso
07/10/2008
Fecha fin congreso
10/10/2008
Desde la página
245
Hasta la página
249
Título de las actas
VIII Jornadas sobre Programación y Lenguajes, PROLE 2008
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Álvaro Polo (Telefónica I+D)
  • Autor: Guillem Marpons Ucero (UPM)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)