Conte aos seus amigos sobre este item:
Formal Verification of Just-in-Time Compilation Aurele Barriere
Preço
R$ 317,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 23 de set - 5 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
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.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 28 de janeiro de 2025 |
| ISBN13 | 9798400713781 |
| Editoras | Association of Computing Machinery,U.S. |
| Páginas | 277 |
| Dimensões | 150 × 220 × 10 mm · 312 g |
