Visualization designs for constraint logic programming

Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2001). Visualization designs for constraint logic programming. "UPGRADE", v. 2 (n. 2); pp. 27-34. ISSN 1684-5285.

Descripción

Título: Visualization designs for constraint logic programming
Autor/es:
Tipo de Documento: Artículo
Título de Revista/Publicación: UPGRADE
Fecha: Abril 2001
ISSN: 1684-5285
Volumen: 2
Número: 2
Materias:
ODS:
Palabras Clave Informales: Logic Programming, Constraint Logic Programming, Visualization, Debugging, Performance, Abstraction of Visual Representations, Programación lógica, Programación lógica restringida, Visualización, Depuración, Ejecución, Abstraccción de las representaciones visuales.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[thumbnail of HERME_ARTINBOOKS_2001-1.pdf]
Vista Previa
PDF (Portable Document Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (687kB) | Vista Previa

Resumen

We address the design and implementation of visual paradigms for observing the execution of constraint logic programs, aiming at debugging, tuning and optimization, and teaching. We focus on the display of data in CLP executions, where representation for constrained variables and for the constrains themselves are seeked. Two tools, VIFID and TRIFID, exemplifying the devised depictions, have been implemented, and are used to showcase the usefulness of the visualizations developed.

Más información

ID de Registro: 14561
Identificador DC: https://oa.upm.es/14561/
Identificador OAI: oai:oa.upm.es:14561
URL Oficial: http://www.cepis.org/upgrade/index.jsp?p=0&n=2190&...
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 28 Feb 2013 09:15
Ultima Modificación: 21 Abr 2016 14:17