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

Ordered from remote warehouse

Expected delivery Jul 9 - 23

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:

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

Mere med samme udgiver

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