Loading...
Please wait, while we are loading the content...
Similar Documents
Automatic Coding Rule Conformance Checking Using Logic Programs
| Content Provider | arXiv |
|---|---|
| Author | Marpons-Ucero, Guillem Mariño, Julio Herranz, Ángel Fredlund, Lars-Åke Carro, Manuel Moreno-Navarro, Juan José |
| Date of Submission | 2007-11-02 |
| Abstract | Some approaches to increasing program reliability involve a disciplined use of programming languages so as to minimise the hazards introduced by error-prone features. This is realised by writing code that is constrained to a subset of the a priori admissible programs, and that, moreover, may use only a subset of the language. These subsets are determined by a collection of so-called coding rules. |
| Related Links | https://arxiv.org/pdf/0711.0344.pdf |
| arXiv | 0711.0344 |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Computer Science - Programming Languages Computer Science - Software Engineering Programming Environments Logic Programming Computer Science |
| Content Type | Text |
| Resource Type | Article |
| Subject | Computer Science |