|
Abstract
|
|
|---|---|
| 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. | |
|
International
|
Si |
|
Entity
|
CoRR |
|
Place
|
http://arxiv.org/abs/0711.0344 |
|
Pages
|
1 |
|
Reference/URL
|
abs/0711.0344 |
|
Publication type
|
Electrónica: archiv.org |