Some paradigms for visualizing parallel execution of logic programs

Carro Liñares, Manuel; Gómez Henríquez, Luis M. y Hermenegildo, Manuel V. (1993). Some paradigms for visualizing parallel execution of logic programs. En: "ICLP'93 the tenth international conference on logic programming on Logic programming", June 21-24, 1993, Budapest, Hungary. ISBN 9780262731058.

Descripción

Título: Some paradigms for visualizing parallel execution of logic programs
Autor/es:
  • Carro Liñares, Manuel
  • Gómez Henríquez, Luis M.
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: ICLP'93 the tenth international conference on logic programming on Logic programming
Fechas del Evento: June 21-24, 1993
Lugar del Evento: Budapest, Hungary
Título del Libro: Logic Programming: Proceedings of the tenth international conference on logic programming on Logic programming
Fecha: 1993
ISBN: 9780262731058
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

This paper addresses the design of visual paradigms for observing the parallel execution of logic programs. First, an intuitive method is proposed for arriving at the design of a paradigm and its implementation as a tool for a given model of parallelism. This method is based on stepwise reñnement starting from the deñnition of basic notions such as events and observables and some precedence relationships among events which hold for the given model of parallelism. The method is then applied to several types of parallel execution models for logic programs (Orparallelism, Determinate Dependent And parallelism, Restricted and-parallelism) for which visualization paradigms are designed. Finally, VisAndOr, a tool which implements all of these paradigms is presented, together with a discussion of its usefulness through examples.

Más información

ID de Registro: 14472
Identificador DC: http://oa.upm.es/14472/
Identificador OAI: oai:oa.upm.es:14472
URL Oficial: http://mitpress.mit.edu/books/logic-programming-6
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 13 Feb 2013 07:31
Ultima Modificación: 21 Abr 2016 14:10
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM