Search
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 ...