LIBROS DEL AUTOR: bernd burgstaller

1 resultados para LIBROS DEL AUTOR: bernd burgstaller

bernd burgstaller 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 €