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

Fecha

2021-09-22

Editor

Sistedes

Publicado en

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

Licencia

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
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX