Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Resumen:
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

Miniatura

Archivos

11705-PROLE-2021-001.pdf (153 KB)

Fecha

2021-09-22

Autores

Editor

Sistedes

Publicado en

Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)

Licencia Creative Commons

CC BY-NC-ND 4.0
CC BY-NC-ND 4.0

Resumen

Conferencia: 35th International Conference on Logic Programming. Publicado en revista: Theory and Practice of Logic Programming. Fecha de publicación: September 2019.

Descripción

Acerca de Arias, Joaquín

Palabras clave

Abstract Interpretation, CiaoPP, Constraints, PLAI, Prolog, Tabling

Enlace permanente

https://hdl.handle.net/11705/PROLE/2021/001

Colecciones

PROLE 2021 (Málaga) • Specification and implementation

Citación

Texto planoBibTeX

Arias, J., Carro, M.: Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. In: Martí Oliet, N. (ed.) Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021). Sistedes (2021). https://hdl.handle.net/11705/PROLE/2021/001

Página completa del ítem
Notificar un error en este resumen