Methodology for verifying Just-in-Time compilers tackles challenges from dynamic and speculative optimizations to deoptimization and interpretation intertwined with code generation. Adapting techniques from verified ahead-of-time compilers, it guides readers in proving that transformations preserve source semantics.
Ik heb een vraag over het boek:
‘Formal Verification of Just-in-Time Compilation - Barriere, Aurele’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
