Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (907kB) | Preview |
Implementation of an event driven scheme for visualizing parallel execution of logic programs.
Citation
Carro Liñares, Manuel and Gómez Henríquez, Luis M. and Hermenegildo, Manuel V. (1992). Implementation of an event driven scheme for visualizing parallel execution of logic programs.. In: "Primer Congreso Nacional de Programaci'on Declarativa", September 28-30, 1992, Madrid, Spain.
Description
| Title: | Implementation of an event driven scheme for visualizing parallel execution of logic programs. |
|---|---|
| Author/s: |
|
| Item Type: | Presentation at Congress or Conference (Article) |
| Event Title: | Primer Congreso Nacional de Programaci'on Declarativa |
| Event Dates: | September 28-30, 1992 |
| Event Location: | Madrid, Spain |
| Title of Book: | Programación declarativa : primer Congreso Nacional ProDe'92, 28-30 septiembre, 1992, Madrid, España |
| Date: | September 1992 |
| Subjects: | |
| Faculty: | Facultad de Informática (UPM) |
| Department: | Inteligencia Artificial |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Abstract
This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed.
More information
| Item ID: | 15062 |
|---|---|
| DC Identifier: | https://oa.upm.es/15062/ |
| OAI Identifier: | oai:oa.upm.es:15062 |
| Deposited by: | Biblioteca Facultad de Informatica |
| Deposited on: | 05 May 2013 07:41 |
| Last Modified: | 21 Apr 2016 15:09 |
