- -

Fast Offline Partial Evaluation of Logic Programs

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

Compartir/Enviar a

Citas

Estadísticas

Fast Offline Partial Evaluation of Logic Programs

Mostrar el registro completo del ítem

Leuschel, M.; Vidal Oriola, GF. (2014). Fast Offline Partial Evaluation of Logic Programs. Information and Computation. 235:70-97. doi:10.1016/j.ic.2014.01.005

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

Ficheros en el ítem

Metadatos del ítem

Título: Fast Offline Partial Evaluation of Logic Programs
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:
One of the most important challenges in partial evaluation is the design of automatic methods for ensuring the termination of the process. In this work, we introduce sufficient conditions for the strong (i.e., independent ...[+]
Palabras clave: Partial evaluation , Termination analysis , Logic programming
Derechos de uso: Reserva de todos los derechos
Fuente:
Information and Computation. (issn: 0890-5401 )
DOI: 10.1016/j.ic.2014.01.005
Editorial:
Elsevier
Versión del editor: http://dx.doi.org/10.1016/j.ic.2014.01.005
Agradecimientos:
This work has been partially supported by the Spanish Ministerio de Ciencia e Innovacion under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052.
Tipo: Artículo

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

Mostrar el registro completo del ítem