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 |