LIBROS DEL AUTOR: aurele barriere

2 resultados para LIBROS DEL AUTOR: aurele barriere

aurele barriere Eliminar filtro Quitar filtros
  • Formal Verification of Just-in-Time Compilation
    Aurèle Barrière
    This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use...
    Disponible

    94,41 €

  • Formal Verification of Just-in-Time Compilation
    Aurèle Barrière
    This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use...
    Disponible

    71,44 €