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

Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537, Deransart, Pierre, Drabent, Wlodek, Ferrand, Gerard, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, 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:
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

[thumbnail of HERMENE_IPT_1997-3.pdf]
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: https://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