Hardcover
Verify Just-in-Time compilers: bug-free code generation, guaranteed program correctness.
Formal Verification of Just-in-Time Compilation
- Hardcover
277 pages
- Release Date
28 January 2025
Summary
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 tec…
Book Details
| ISBN-13: | 9798400713774 |
|---|---|
| Author: | Aurèle Barrière |
| Publisher: | Association of Computing Machinery,U.S. |
| Imprint: | Association of Computing Machinery,U.S. |
| Format: | Hardcover |
| Number of Pages: | 277 |
| Release Date: | 28 January 2025 |
| Weight: | 522g |
| Dimensions: | 235mm x 191mm x 11mm |
| Series: | ACM Books |
You Can Find This Book In
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.