On the role of semantic approximations in validation and diagnosis of constraint logic programs

Bueno Carrillo, Francisco and Deransart, Pierre and Drabent, Wlodek and Ferrand, Gerard and Hermenegildo, Manuel V. and Maluszynski, Jan and Puebla Sánchez, Alvaro Germán (1997). On the role of semantic approximations in validation and diagnosis of constraint logic programs. In: "Third International Workshop on Automatic Debugging", May 26-27, 1997, Linköping, Sweden.

Description

Title: On the role of semantic approximations in validation and diagnosis of constraint logic programs
Author/s:
  • Bueno Carrillo, Francisco
  • Deransart, Pierre
  • Drabent, Wlodek
  • Ferrand, Gerard
  • Hermenegildo, Manuel V.
  • Maluszynski, Jan
  • Puebla Sánchez, Alvaro Germán
Item Type: Presentation at Congress or Conference (Article)
Event Title: Third International Workshop on Automatic Debugging
Event Dates: May 26-27, 1997
Event Location: Linköping, Sweden
Title of Book: ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Date: May 1997
Volume: 2
Subjects:
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 (1MB) | Preview

Abstract

Abstract is not available.

More information

Item ID: 14557
DC Identifier: http://oa.upm.es/14557/
OAI Identifier: oai:oa.upm.es:14557
Official URL: http://www.ep.liu.se/ea/cis/1997/009/13/index.html
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 27 Feb 2013 07:47
Last Modified: 21 Apr 2016 14:17
  • 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