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
Verifying the Unverifiable: Formal Methods for 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 compilation to speed …
Book Details
| ISBN-13: | 9798400713774 |
|---|---|
| Series: | ACM Books |
| 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 |
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.