|
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 |
|
Entidad
|
CoRR |
|
Lugar
|
http://arxiv.org/abs/0711.0344 |
|
Páginas
|
1 |
|
Referencia/URL
|
abs/0711.0344 |
|
Tipo de publicación
|
Electrónica: archiv.org |