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
Íkr 9,799
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 17 - 31
Get notified about new Aurele Barriere releases

Our customers say:

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

Not rated yet

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

More from the same publisher

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