Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (687kB) | Preview |
Visualization designs for constraint logic programming
Citation
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.
Description
| Title: | Visualization designs for constraint logic programming |
|---|---|
| Author/s: |
|
| Item Type: | Article |
| Título de Revista/Publicación: | UPGRADE |
| Date: | April 2001 |
| ISSN: | 1684-5285 |
| Volume: | 2 |
| Subjects: | |
| Freetext Keywords: | 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. |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
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.
More information
| Item ID: | 14561 |
|---|---|
| DC Identifier: | https://oa.upm.es/14561/ |
| OAI Identifier: | oai:oa.upm.es:14561 |
| Official URL: | http://www.cepis.org/upgrade/index.jsp?p=0&n=2190&... |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 28 Feb 2013 09:15 |
| Last Modified: | 21 Apr 2016 14:17 |
