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