Some paradigms for visualizing parallel execution of logic programs


Autoria(s): Carro Liñares, Manuel; Gómez Henríquez, Luis M.; Hermenegildo, Manuel V.
Data(s)

1993

Resumo

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.

Formato

application/pdf

Identificador

http://oa.upm.es/14472/

Idioma(s)

eng

Publicador

Facultad de Informática (UPM)

Relação

http://oa.upm.es/14472/1/HERME_ARC_1993-4.pdf

http://mitpress.mit.edu/books/logic-programming-6

Direitos

http://creativecommons.org/licenses/by-nc-nd/3.0/es/

info:eu-repo/semantics/openAccess

Fonte

Logic Programming: Proceedings of the tenth international conference on logic programming on Logic programming | ICLP'93 the tenth international conference on logic programming on Logic programming | June 21-24, 1993 | Budapest, Hungary

Palavras-Chave #Informática
Tipo

info:eu-repo/semantics/conferenceObject

Ponencia en Congreso o Jornada

PeerReviewed