Work

Automatic Coding Rule Conformance Checking Using Logic Programs

Year: 2007

Type: preprint

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.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.0711.0344

Authors: Marpons-Ucero, Guillem, Mariño, Julio, Herranz, Ángel, Fredlund, Lars-Åke, Carro, Manuel, Moreno-Navarro, Juan José

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2949801416

Cites:

Cited by: 1

Related to: 10