Browsing by Subject "Logics and meanings of programs"
Now showing items 1-1 of 1
-
Construcción de programas que manejan dinámicamente la memoria
(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 ...