- -

Annotation of logic programs for independent AND-Parallelism by partial evaluation

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Annotation of logic programs for independent AND-Parallelism by partial evaluation

Show full item record

Vidal Oriola, GF. (2012). Annotation of logic programs for independent AND-Parallelism by partial evaluation. Theory and Practice of Logic Programming. 12(4-5):583-600. doi:10.1017/S1471068412000191

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/36464

Files in this item

Item Metadata

Title: Annotation of logic programs for independent AND-Parallelism by partial evaluation
Author: Vidal Oriola, Germán Francisco
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Issued date:
Abstract:
Traditional approaches to automatic AND-parallelization of logic programs rely on some static analysis to identify independent goals that can be safely and efficiently run in parallel in any possible execution. In this ...[+]
Subjects: Partial evaluation , Automatic parallelization , Program analysis
Copyrigths: Reserva de todos los derechos
Source:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068412000191
Publisher:
Cambridge University Press (CUP)
Publisher version: http://journals.cambridge.org/abstract_S1471068412000191
Thanks:
This work has been partially supported by the Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana ...[+]
Type: Artículo

This item appears in the following Collection(s)

Show full item record