Automatic Coding Rule Conformance Checking Using Logic Programming

Autor:	Julio Mariño, Ángel Herranz, Manuel Carro, Guillem Marpons, Juan José Moreno-Navarro, Lars-Åke Fredlund
Rok vydání:	2007
Předmět:	Prolog Horn clause Well-founded semantics Functional logic programming Programming language Computer science Programming paradigm computer.software_genre computer Logic programming Conformance checking Inductive programming computer.programming_language
Zdroj:	Practical Aspects of Declarative Languages ISBN: 9783540774419 PADL
DOI:	10.1007/978-3-540-77442-6_3
Popis:	An extended practice in the realm of Software Engineering and programming in industry is the application of coding rules. Coding rules are customarily used to constrain the use (or abuse) of certain programming language constructions. However, these rules are usually written using natural language, which is intrinsically ambiguous and which may complicate their use and hinder their automatic enforcement. This 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, which provides both a framework for formal specification and also for automatic conformance checking using a Prolog engine. Some examples of rules belonging to actual, third-party coding rule sets are discussed, along with the corresponding Prolog code. Experimental data regarding the practicality and impact of their application to real-life software projects is presented and discussed.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ea93c2327fd4f0a41ffdf0ef7da7017c https://doi.org/10.1007/978-3-540-77442-6_3 Zobrazit plný text záznamu