Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview |
Diseño de visualizaciones para programación lógica con restricciones
Citation
Carro Liñares, Manuel and Hermenegildo, Manuel V. (2001). Diseño de visualizaciones para programación lógica con restricciones. "Novática: Revista de la Asociación de Técnicos de Informática" (n. 150); pp. 31-37. ISSN 0211-2124.
Description
| Title: | Diseño de visualizaciones para programación lógica con restricciones |
|---|---|
| Author/s: |
|
| Item Type: | Article |
| Título de Revista/Publicación: | Novática: Revista de la Asociación de Técnicos de Informática |
| Date: | March 2001 |
| ISSN: | 0211-2124 |
| Subjects: | |
| Freetext Keywords: | programación lógica, programación lógica con restricciones, visualización, depuración, abstracción de representaciones. |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
En este se estudia diseños y e implementaciones de paradigmas visuales para observar la ejecución de programas lógicos con restricciones, enfocados hacia la depuración, optimización y enseñanza. Nos centraremos en la representación de datos en ejecuciones CLP, donde perseguimos la representación de variables con restricciones y de las restricciones en sí mismas. Se han implementado dos herramientas, VIFID y TRIFID, que utilizan dichas representaciones y que se usan para mostrar la utilidad de las visualizaciones desarrolladas.
More information
| Item ID: | 14563 |
|---|---|
| DC Identifier: | https://oa.upm.es/14563/ |
| OAI Identifier: | oai:oa.upm.es:14563 |
| Official URL: | http://www.ati.es/novatica/2001/150/nv150sum.html |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 28 Feb 2013 09:16 |
| Last Modified: | 21 Apr 2016 14:17 |
