- -

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
Patrocinador:
Spanish Ministerio de Ciencia 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