Browsing by Author "Cherini, Renato, dir."
Now showing items 1-1 of 1
-
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 ...