Abstract verification and debugging of constraint logic programs

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

Description

Title: Abstract verification and debugging of constraint logic programs
Author/s:
  • Hermenegildo, Manuel V.
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • López García, Pedro
Item Type: Presentation at Congress or Conference (Article)
Event Title: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming
Event Dates: June 19-21, 2002
Event Location: Cork, Ireland
Title of Book: Recent Advances in Constraints
Date: January 2003
ISBN: 9783540009863
Volume: 2627
Subjects:
Freetext Keywords: 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.
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (823kB) | Preview

Abstract

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].

More information

Item ID: 14545
DC Identifier: http://oa.upm.es/14545/
OAI Identifier: oai:oa.upm.es:14545
Official URL: http://link.springer.com/chapter/10.1007/3-540-36607-5_1
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 23 Feb 2013 07:34
Last Modified: 21 Apr 2016 14:16
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM