Conte aos seus amigos sobre este item:
Formal Verification of Just-in-Time Compilation Aurele Barriere
Preço
R$ 415,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 24 de set - 6 de out
Receba avisos sobre novos lançamentos de Aurele Barriere
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
Formal Verification of Just-in-Time Compilation
Aurele Barriere
Explore a methodology to design formally verified Just-in-Time compilers that merge rapid program execution with strict correctness. Navigate challenges from dynamic, speculative, and deoptimized optimizations interleaved with code generation, with each phase validated by Coq proofs for compiler rigor.
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 28 de janeiro de 2025 |
| ISBN13 | 9798400713774 |
| Editoras | Association of Computing Machinery,U.S. |
| Páginas | 277 |
| Dimensões | 150 × 220 × 20 mm · 521 g |
