Aurèle Barrière – författare
Visar alla böcker från författaren Aurèle Barrière. Handla med fri frakt och snabb leverans.
4 produkter
Formal Verification of Just-in-Time Compilation
Inbunden, 2025
875 kr
Lägg i varukorg
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 …
Formal Verification of Just-in-Time Compilation
Häftad, 2025
644 kr
Lägg i varukorg
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 …
Formal Verification of Just-in-Time Compilation
E-bok, 2025
670 kr
Lägg i varukorg
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 …
Formal Verification of Just-in-Time Compilation
E-bok, 2025
677 kr
Lägg i varukorg
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 …
