Memorias de investigación
Artículos en revistas:
A Coding Rule Conformance Checker Integrated into GCC
Año:2009

Áreas de investigación
  • Lenguaje de programación

Datos
Descripción
Coding rules are often used in industry to foster best practices when coding software and to avoid the many hazardous constructions present in languages such as C or C++. Predictable, reliable tools are needed to automatically measure adherence to these practices, as manually checking for compliance is cumbersome. Moreover, due to the wide range of possible coding rule sets, easy of customization is a need in order for these tools to be of practical use. With this aim in mind, we present an extension of the GNU Compiler Collection (GCC) that ¿ags those code fragments that do not conform to coding rules belonging to a given set. These sets of coding rules can be de¿ned using a high-level declarative language based on logic programming, thereby making it possible to easily check code for conformance with respect to rules addressing the particular needs of a project, company, or application area.
Internacional
Si
JCR del ISI
No
Título de la revista
Electronic Notes in Theoretical Computer Science
ISSN
1571-0661
Factor de impacto JCR
0
Información de impacto
Volumen
248
DOI
Número de revista
0
Desde la página
149
Hasta la página
159
Mes
AGOSTO
Ranking

Esta actividad pertenece a memorias de investigación

Participantes

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