Automatic Coding Rule Conformance Checking Using Logic Programs

Simple item page
dc.creatorMarpons-Ucero, Guillem
dc.creatorMariño, Julio
dc.creatorHerranz, Ángel
dc.creatorFredlund, Lars-Åke
dc.creatorCarro, Manuel
dc.creatorMoreno-Navarro, Juan José
dc.date2007-11-02
dc.date.accessioned2026-07-07T08:40:28Z
dc.date.available2026-07-07T08:40:28Z
dc.descriptionSome 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.
dc.descriptionPaper presented at the 17th Workshop on Logic-based Methods in Programming Environments (WLPE2007)
dc.identifierhttps://arxiv.org/abs/0711.0344
dc.identifierhttp://arxiv.org/abs/0711.0344
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/141385
dc.subjectProgramming Languages
dc.subjectSoftware Engineering
dc.subjectD.2.6; D.1.6
dc.titleAutomatic Coding Rule Conformance Checking Using Logic Programs
dc.typetext

Files

Collections

arXiv