eprintid: 14642
rev_number: 16
eprint_status: archive
userid: 2047
dir: disk0/00/01/46/42
datestamp: 2013-03-15 07:24:03
lastmod: 2016-04-21 14:23:53
status_changed: 2013-03-15 07:24:03
type: conference_item
metadata_visibility: show
item_issues_count: 0
creators_name: Carro Liñares, Manuel
creators_name: Hermenegildo, Manuel V.
title: Some design issues in the visualization of constraint logic program execution
rights: by-nc-nd
ispublished: pub
subjects: informatica
full_text_status: public
pres_type: paper
keywords: Execution visualization, Constraint Logic Programming, Constraint Programming, Visualización de la ejecución,Programación lógica restringida, Programaión restringida.
abstract: Visualization of program executions has been found useful 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 flow control and the behavior of data often cannot be lifted in a straightforward way to (C)LP from other families of programming languages. In this paper we discuss techniques for visualizing program execution and 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 program execution behavior (control), the runtime valúes of the variables, and the runtime constraints. Given our interest in visualizing large executions, we also pay attention to abstraction techniques, Le., techniques which are intended to help in reducing the complexity of the visual information.
date_type: published
date: 1998
pages: 469
event_title: Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98
event_location: A Coruña, Spain
event_dates: July 20-23, 1998
event_type: conference
institution: Informatica
department: Inteligencia_Artificial
refereed: TRUE
book_title: APPIA-GULP-PRODE
citation:   Carro Liñares, Manuel and Hermenegildo, Manuel V.  (1998).  Some design issues in the visualization of constraint logic program execution.  In: "Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98", July 20-23, 1998, A Coruña, Spain.    
document_url: https://oa.upm.es/14642/1/HERME_REFWORKS_1998-1.pdf