Browsing Tesis de Doctorados by Author "Blanco, Javier Oscar, dir."
Now showing items 1-1 of 1
-
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 ...