- -

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

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

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

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Annotation of logic programs for independent AND-Parallelism by partial evaluation
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Partial evaluation , Automatic parallelization , Program analysis
Derechos de uso: Reserva de todos los derechos
Fuente:
Theory and Practice of Logic Programming. (issn: 1471-0684 )
DOI: 10.1017/S1471068412000191
Editorial:
Cambridge University Press (CUP)
Versión del editor: http://journals.cambridge.org/abstract_S1471068412000191
Patrocinador:
Spanish Ministerio de Economia y Competitividad (Secretaria de Estado de Investigacion, Desarrollo e Innovacion) [TIN2008-06622-C03-02]
Generalitat Valenciana [PROMETEO/2011/052]
Tipo: Artículo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem