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

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

Descripción

Título: On the role of semantic approximations in validation and diagnosis of constraint logic programs
Autor/es:
  • Bueno Carrillo, Francisco
  • Deransart, Pierre
  • Drabent, Wlodek
  • Ferrand, Gerard
  • Hermenegildo, Manuel V.
  • Maluszynski, Jan
  • Puebla Sánchez, Alvaro Germán
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Third International Workshop on Automatic Debugging
Fechas del Evento: May 26-27, 1997
Lugar del Evento: Linköping, Sweden
Título del Libro: ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Fecha: Mayo 1997
Volumen: 2
Materias:
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 - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Localizaciones alternativas

URL Oficial: http://www.ep.liu.se/ea/cis/1997/009/13/index.html

Resumen

Abstract is not available.

Más información

ID de Registro: 14557
Identificador DC: http://oa.upm.es/14557/
Identificador OAI: oai:oa.upm.es:14557
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 27 Feb 2013 07:47
Ultima Modificación: 21 Abr 2016 14:17
  • 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
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM