Formal Verification of Just-in-Time Compilation - Aurele Barriere - Libros - Association of Computing Machinery,U.S. - 9798400713774 - 28 de enero de 2025
En caso de que portada y título no coincidan, el título será el correcto

Aurele Barriere
Formal Verification of Just-in-Time Compilation

Precio
Mex$ 1.368
sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 12 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Aurele Barriere

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

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.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 28 de enero de 2025
ISBN13 9798400713774
Editores Association of Computing Machinery,U.S.
Páginas 277
Dimensiones 150 × 220 × 20 mm   ·   521 g

Más del mismo editor

Ver todo de Aurele Barriere ( Ej. Hardcover Book y Paperback Book )