Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Adding Coding Rule Checking Capabilities to the GCC Toolchain
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Coding rules, which codify software best practices by constraining the set of ``admissible'' programs, are often used in industry to increase program reliability and maintainability. We present a tool that seamlessly integrates coding rule checking capabilities into the main development work-flow. In the proposed framework, the necessary source code features are extracted from the GCC compilation process. In this way, both compiler infrastructure and compilation stages can be reused. The coding rules themselves are defined using a high-level declarative language.
Internacional
Si
Nombre congreso
GCC Developers' Summit 2008
Tipo de participación
960
Lugar del congreso
Ottawa, Canada
Revisores
Si
ISBN o ISSN
DOI
Fecha inicio congreso
17/06/2008
Fecha fin congreso
19/06/2008
Desde la página
43
Hasta la página
54
Título de las actas
Proceedings of the GCC Developers' Summit 2008
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Álvaro Polo (Telefónica I+D)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Guillem Marpons Ucero (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
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)