Formal Verification of Just-in-Time Compil...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

76,40 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Details

Erscheinungsjahr:	2025
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9798400713781
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Barrière, Aurèle
Hersteller:	Association for Computing Machinery
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 191 x 10 mm
Von/Mit:	Aurèle Barrière
Erscheinungsdatum:	28.01.2025
Gewicht:	0,341 kg

Artikel-ID: 131317356

Details

Erscheinungsjahr:	2025
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Inhalt:	Einband - flex.(Paperback)
ISBN-13:	9798400713781
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	Barrière, Aurèle
Hersteller:	Association for Computing Machinery
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 191 x 10 mm
Von/Mit:	Aurèle Barrière
Erscheinungsdatum:	28.01.2025
Gewicht:	0,341 kg