Formal Verification of Just-in-Time Compilation - Aurele Barriere - Books - Association of Computing Machinery,U.S. - 9798400713774 - 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
$ 77.99
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:

Explore a methodology to design formally verified Just-in-Time compilers that merge rapid program execution with strict correctness. Navigate challenges from dynamic, speculative, and deoptimized optimizations interleaved with code generation, with each phase validated by Coq proofs for compiler rigor.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released January 28, 2025
ISBN13 9798400713774
Publishers Association of Computing Machinery,U.S.
Pages 277
Dimensions 150 × 220 × 20 mm   ·   521 g

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