- -

Fast Offline Partial Evaluation of Logic Programs

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


Fast Offline Partial Evaluation of Logic Programs

Show full item record

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

Files in this item

Item Metadata

Title: Fast Offline Partial Evaluation of Logic Programs
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:
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 ...[+]
Subjects: Partial evaluation , Termination analysis , Logic programming
Copyrigths: Reserva de todos los derechos
Information and Computation. (issn: 0890-5401 )
DOI: 10.1016/j.ic.2014.01.005
Publisher version: http://dx.doi.org/10.1016/j.ic.2014.01.005
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.
Type: Artículo

This item appears in the following Collection(s)

Show full item record