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
$ 77,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.

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

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

Mere med samme udgiver

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