Apuntes del Curso Análisis Estático de Programas Lógicos Basado en Interpretación Abstracta
- Ver apunte : https://cnngimenez.github.io/apuntes-AILP/
- Presentación de Claudio (original del archivo ailp.org) : HTML | Fuentes
- Códigos de la presentación: Ver directorio ./tangled/
- Descargar códigos y fuentes completo: descargar ZIP completo.
Excepto la presentación, las bibliotecas javascript, hojas de estilo CSS y donde se indique lo contrario. La presente obra se encuentra bajo la licencia de Creative Commons Reconocimiento-CompartirIgual 4.0 Internacional.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License except the presentation, libraries, CSS stylesheets and where otherwise noted.