Descripción
|
|
---|---|
Coding rules are customarily used to constrain the use (or abuse) of certain constructions in a programming language. Standard coding rule sets exist that target different languages and application domains. However, these rules are usually written using a natural language, which is intrinsically ambiguous, and which may hinder their automatic application. This short paper presents some early work aiming at defining a framework to formalise and check for coding rule conformance using logic programming. We show how a certain class of rules -- (structural} rules -- can be reformulated as logic programs. Some real examples, including Prolog code formalising them, are shown and discussed. | |
Internacional
|
Si |
Nombre congreso
|
17th Workshop on Logic-based methods in Programming Environments. |
Tipo de participación
|
960 |
Lugar del congreso
|
Porto, Portugal |
Revisores
|
Si |
ISBN o ISSN
|
|
DOI
|
|
Fecha inicio congreso
|
13/09/2007 |
Fecha fin congreso
|
13/09/2007 |
Desde la página
|
|
Hasta la página
|
|
Título de las actas
|