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. https://doi.org/10.1016/j.ic.2014.01.005
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/46960
Título: | Fast Offline Partial Evaluation of Logic Programs | |
Autor: | Leuschel, Michael | |
Entidad UPV: |
|
|
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: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | http://dx.doi.org/10.1016/j.ic.2014.01.005 | |
Código del Proyecto: |
|
|
Agradecimientos: |
|
|
Tipo: |
|