Tools for constraint visualisation: The VIFID/TRIFID tool


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

2000

Resumo

Visualisation of program executions has been used in applications which include education and debugging. However, traditional visualisation techniques often fall short of expectations or are altogether inadequate for new programming paradigms, such as Constraint Logic Programming (CLP), whose declarative and operational semantics differ in some crucial ways from those of other paradigms. In particular, traditional ideas regarding the behaviour of data often cannot be lifted in a straightforward way to (C)LP from other families of programming languages. In this chapter we discuss techniques for visualising data evolution in CLP. We briefly review some previously proposed visualisation paradigms, and also propose a number of (to our knowledge) novel ones. The graphical representations have been chosen based on the perceived needs of a programmer trying to analyse the behaviour and characteristics of an execution. In particular, we concentrate on the representation of the run-time values of the variables, and the constraints among them. Given our interest in visualising large executions, we also pay attention to abstraction techniques, i.e., techniques which are intended to help in reducing the complexity of the visual information.

Formato

application/pdf

Identificador

http://oa.upm.es/14902/

Idioma(s)

eng

Publicador

Facultad de Informática (UPM)

Relação

http://oa.upm.es/14902/1/HERME_MONOG_2000-2.pdf

http://link.springer.com/chapter/10.1007/10722311_11

info:eu-repo/semantics/altIdentifier/doi/10.1007/10722311_11

Direitos

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

info:eu-repo/semantics/openAccess

Fonte

Tools for constraint visualisation: The VIFID/TRIFID tool | En: Analysis and Visualization Tools for Constraint Programming | pag. 253-272 | Springer Berlin Heidelberg | 2000

Palavras-Chave #Informática
Tipo

info:eu-repo/semantics/bookPart

Sección de Libro

PeerReviewed