LIBROS DEL AUTOR: bernhard scholz

1 resultados para LIBROS DEL AUTOR: bernhard scholz

bernhard scholz Eliminar filtro Quitar filtros
  • Symbolic Analysis
    Bernd Burgstaller / Bernhard Scholz / Johann Blieberger
    Static program analysis aims to determine the dynamic behavior of programs without actually executing them. Symbolic analysis is an advanced static program analysis technique that has been successfully applied to memory leak detection, compilation of parallel programs, detection of superfluous bound checks, variable aliases and task deadlocks, and to worst-case execution time a...
    Disponible

    83,92 €