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 |