Abstract verification and debugging of constraint logic programs

Hermenegildo, Manuel V.; Puebla Sánchez, Alvaro Germán; Bueno Carrillo, Francisco y López García, Pedro (2003). Abstract verification and debugging of constraint logic programs. En: "Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming", June 19-21, 2002, Cork, Ireland. ISBN 9783540009863.

Descripción

Título: Abstract verification and debugging of constraint logic programs
Autor/es:
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • López García, Pedro
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming
Fechas del Evento: June 19-21, 2002
Lugar del Evento: Cork, Ireland
Título del Libro: Recent Advances in Constraints
Fecha: Enero 2003
ISBN: 9783540009863
Volumen: 2627
Materias:
Palabras Clave Informales: Global analysis, Debugging, Verification, Constraint logic programming, Optimization, Parallelization, Abstract interpretation, Análisis global, Depuración, Verificación, Programación lógica restringida, Optimización, Paralelización, Interpretación de resúmenes.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (823kB) | Vista Previa

Resumen

The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3],[10],[7].

Más información

ID de Registro: 14545
Identificador DC: http://oa.upm.es/14545/
Identificador OAI: oai:oa.upm.es:14545
URL Oficial: http://link.springer.com/chapter/10.1007/3-540-36607-5_1
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 23 Feb 2013 07:34
Ultima Modificación: 21 Abr 2016 14:16
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM