Browsing by Subject "Program reasoning"
Now showing items 1-1 of 1
-
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
(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 ...