Formal Verification of Just-in-Time Compilation - Hardcover
$68.99
$74.95
-8%Choose Option
Hardcover
$68.99
$74.95
Paperback
$50.99
$54.95
Quantity
01
Pay over time for orders over $35.00 with
Language:EnglishPublisher:Association for Computing MachineryISBN-13:9798400713774UPC:9798400713774Book Category:ComputersBook Subcategory:Programming, Languages, Computer ScienceBook Topic:Compilers, Assembly LanguageSize:9.25 x 7.50 x 0.44 inchesWeight:1.1508Product ID:SC415A8BAP
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:9798400713774UPC:9798400713774Book Category:ComputersBook Subcategory:Programming, Languages, Computer ScienceBook Topic:Compilers, Assembly LanguageSize:9.25 x 7.50 x 0.44 inchesWeight:1.1508Product ID:SC415A8BAP
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.