Formal Verification of Just-in-Time Compilation - Aurele Barriere - Books - Association of Computing Machinery,U.S. - 9798400713781 - January 28, 2025
In case cover and title do not match, the title is correct

Aurele Barriere
Formal Verification of Just-in-Time Compilation

Price
$ 59.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 27 - Jun 8

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 28, 2025
ISBN13 9798400713781
Publishers Association of Computing Machinery,U.S.
Pages 277
Dimensions 150 × 220 × 10 mm   ·   312 g

See all of Aurele Barriere ( e.g. Paperback Book and Hardcover Book )