Diseño de visualizaciones para programación lógica con restricciones


Autoria(s): Carro Liñares, Manuel; Hermenegildo, Manuel V.
Data(s)

01/03/2001

Resumo

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.

Formato

application/pdf

Identificador

http://oa.upm.es/14563/

Idioma(s)

spa

Publicador

Facultad de Informática (UPM)

Relação

http://oa.upm.es/14563/1/HERME_ARTINBOOKS_2001-2.pdf

http://www.ati.es/novatica/2001/150/nv150sum.html

Direitos

http://creativecommons.org/licenses/by-nc-nd/3.0/es/

info:eu-repo/semantics/openAccess

Fonte

Novática: Revista de la Asociación de Técnicos de Informática, ISSN 0211-2124, 2001-03, No. 150

Palavras-Chave #Informática
Tipo

info:eu-repo/semantics/article

Artículo

PeerReviewed