Después de un tiempo de peleas con el código de Diego P. estoy empezando a leer distintos artículos sobre temas relacionados con análisis de programas en general. Por ejemplo octágonos como dominio abstracto, modelado del heap, etc.
En algunos días actualizaré con una breve reseña de las cosas que estuve leyendo.
En algunos días actualizaré con una breve reseña de las cosas que estuve leyendo.
No hay comentarios.:
Publicar un comentario