Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Automatic Coding Rule Conformance Checking Using Logic Programming
Año:2008
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
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.
Internacional
Si
Nombre congreso
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008
Tipo de participación
960
Lugar del congreso
San Francisco, CA, USA
Revisores
Si
ISBN o ISSN
978-3-540-77441-9
DOI
10.1007/978-3-540-77442-6_3
Fecha inicio congreso
07/01/2008
Fecha fin congreso
08/01/2008
Desde la página
18
Hasta la página
34
Título de las actas
Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Guillem Marpons Ucero (UPM)
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (UPM)
  • Autor: Juan Jose Moreno Navarro (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
  • Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)