この商品を友人に教える:
Formal Verification of Just-in-Time Compilation Aurele Barriere
価格
¥ 9.412
税抜
遠隔倉庫からの取り寄せ
発送予定日 年11月25日 - 年12月11日
クリスマスプレゼントは1月31日まで返品可能です
Aurele Barriere の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
他の形態でも入手可能：
Formal Verification of Just-in-Time Compilation
Aurele Barriere
Methodology for verifying Just-in-Time compilers tackles challenges from dynamic and speculative optimizations to deoptimization and interpretation intertwined with code generation. Adapting techniques from verified ahead-of-time compilers, it guides readers in proving that transformations preserve source semantics.
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2025年1月28日 |
| ISBN13 | 9798400713781 |
| 出版社 | Association of Computing Machinery,U.S. |
| ページ数 | 277 |
| 寸法 | 150 × 220 × 10 mm · 312 g |
