Some design issues in the visualization of constraint logic program execution

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.

Description

Title: Some design issues in the visualization of constraint logic program execution
Author/s:
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98
Event Dates: July 20-23, 1998
Event Location: A Coruña, Spain
Title of Book: APPIA-GULP-PRODE
Date: 1998
Subjects:
Freetext Keywords: Execution visualization, Constraint Logic Programming, Constraint Programming, Visualización de la ejecución,Programación lógica restringida, Programaión restringida.
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 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.

More information

Item ID: 14642
DC Identifier: http://oa.upm.es/14642/
OAI Identifier: oai:oa.upm.es:14642
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 15 Mar 2013 07:24
Last Modified: 21 Apr 2016 14:23
  • 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