Resumen: Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
Fecha
2021-09-22
Autores
Editor
Sistedes
Publicado en
Actas de las XX Jornadas de Programación y Lenguajes (PROLE 2021)
Licencia Creative Commons
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
Página completa del ítem
Notificar un error en este resumen