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.
I have a question about the book:
‘Formal Verification of Just-in-Time Compilation - Barriere, Aurele’.
Fill in the form below.
We will respond as fast as possible.
