Formal Verification of Just-in-Time Compilation - Paperback
$50.99
$54.95
-7%Choose Option
Paperback
$50.99
$54.95
Hardcover
$68.99
$74.95
Out of Stock
This product is currently out of stock. Enter your email address below to be notified once the product is back in stock
Language:EnglishPublisher:Association for Computing MachineryISBN-13:9798400713781UPC:9798400713781Book Category:ComputersBook Subcategory:Computer Science, Programming, LanguagesBook Topic:Compilers, Assembly LanguageSize:9.25 x 7.50 x 0.38 inchesWeight:0.69Product ID:SCGP7FDZKA
Formal Verification of Just-in-Time Compilation
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...
Series: ACM Books
Language:EnglishPublisher:Association for Computing MachineryISBN-13:9798400713781UPC:9798400713781Book Category:ComputersBook Subcategory:Computer Science, Programming, LanguagesBook Topic:Compilers, Assembly LanguageSize:9.25 x 7.50 x 0.38 inchesWeight:0.69Product ID:SCGP7FDZKA
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.