Formal Verification of Just-in-Time Compilation
Aurand#232;le Barriand#232;re
ISBN 13: 9798400713781
Published by MP-ACM ACM Books, 2025
New
PAP
From
PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 7, 2005
This specific copy is no longer available. Here are our closest matches for Formal Verification of Just-in-Time Compilation by Aurand#232;le Barriand#232;re.
About this Item
Description:
New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9798400713781
Synopsis:
This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.
However, the techniques used in Just-in-Time compilers can be particularly complex. This...
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Verification of Just-in-Time ...
Publisher: MP-ACM ACM Books
Publication Date: 2025
Binding: PAP
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Formal Verification of Just-in-Time Compilation
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9798400713781
Quantity: 15 available
Stock Image
Formal Verification of Just-in-Time Compilation
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 4 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # FW-9798400713774
Quantity: 15 available