Formal Verification of Just-in-Time Compilation (eBook, ePUB) - Barrière, Aurèle
36,95 €
36,95 €
inkl. MwSt.
Sofort per Download lieferbar
payback
18 °P sammeln
36,95 €
36,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
payback
18 °P sammeln
Als Download kaufen
Geschenk
Als Download kaufen
36,95 €
inkl. MwSt.
Sofort per Download lieferbar
payback
18 °P sammeln
Jetzt verschenken
36,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
payback
18 °P sammeln
  • Format: ePub

This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.

  • Geräte: eReader
  • ohne Kopierschutz
  • eBook Hilfe
  • Größe: 2.57MB
Andere Kunden interessierten sich auch für
Produktbeschreibung
This book outlines a methodology to develop formally verified Just-in-Time compilers. Just-in-Time compilation is a technique to execute programs, where execution is interleaved with optimizations of the program itself. These compilers often produce fast executions, so much so that their use has grown greatly for dynamic programming languages. Most modern web browsers today use Just-in-Time compilation to speed up the execution of the JavaScript programs they execute.

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, D ausgeliefert werden.