Tools for constraint visualization: The VIFID/TRIFID tool

Carro Liñares, Manuel and Hermenegildo, Manuel V. (2000). Tools for constraint visualization: The VIFID/TRIFID tool. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 253-272. ISBN 9783540411376. https://doi.org/10.1007/10722311_11.

Description

Title: Tools for constraint visualization: The VIFID/TRIFID tool
Author/s:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Editor/s:
  • Deransart, Pierre
  • Hermenegildo Salinas, Manuel Vicente
  • Małuszynski, Jan
Item Type: Book Section
Title of Book: Analysis and Visualization Tools for Constraint Programming
Date: September 2000
ISBN: 9783540411376
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

Visualization of program executions has been used in applications which include education and debugging. However, traditional visualization 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 behavior 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 visualizing data evolution in CLP. We briefly review some previously proposed visualization 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 analyze the behavior and characteristics of an execution. In particular, we concéntrate on the representation of the run-time valúes of the variables, and the constraints among them. Given our interest in visualizing 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.

More information

Item ID: 14571
DC Identifier: http://oa.upm.es/14571/
OAI Identifier: oai:oa.upm.es:14571
DOI: 10.1007/10722311_11
Official URL: http://link.springer.com/chapter/10.1007%2F10722311_11
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Mar 2013 07:35
Last Modified: 21 Apr 2016 14:18
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM