Browsing by Author "Blanco, Javier Oscar, dir."
Now showing items 1-2 of 2
-
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
Rearte, Lucas Agustín (2017-05-31)Presentamos un shape analysis con garantı́as de terminación para programas que manipulan estructuras de datos no lineales como árboles binarios. El análisis se basa en una ejecución simbólica de los programas sobre estados ... -
Construcción de programas que manejan dinámicamente la memoria
Cherini, Renato (2015-08-06)En este trabajo abordamos diferentes aspectos de la verificación de programas que manejan dinámicamente la memoria, y más en general, al razonamiento formal sobre ellos. Por un lado, proponemos un marco conceptual para ...