Formal Verification of Just-in-Time Compilation - Aurele Barriere - Libros - Association of Computing Machinery,U.S. - 9798400713781 - 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.041
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 30 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

Aún no valorado

También disponible como:

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de enero de 2025
ISBN13 9798400713781
Editores Association of Computing Machinery,U.S.
Páginas 277
Dimensiones 150 × 220 × 10 mm   ·   312 g

Mere med samme udgiver

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