|
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 |
|
Congress
|
17th Workshop on Logic-based methods in Programming Environments. |
|
|
960 |
|
Place
|
Porto, Portugal |
|
Reviewers
|
Si |
|
ISBN/ISSN
|
|
|
|
|
|
Start Date
|
13/09/2007 |
|
End Date
|
13/09/2007 |
|
From page
|
|
|
To page
|
|
|
|
|