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

Cover: 9798400713781 | Formal Verification of Just-in-Time Compilation | Aurèle Barrière

Rückseite: 9798400713781 | Formal Verification of Just-in-Time Compilation | Aurèle Barrière

Cover: 9798400713781 | Formal Verification of Just-in-Time Compilation | Aurèle Barrière

Rückseite: 9798400713781 | Formal Verification of Just-in-Time Compilation | Aurèle Barrière

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

71,30 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

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.

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

Ähnliche Produkte

Buch

Cover: 9780521400442 | Nets, Terms and Formulas | E. -R Olderog | Buch | Gebunden | Englisch

Nets, Terms and Formulas

Three Views of Concurrent Processes and Their Relationship

EAN: 9780521400442

Sprache: Englisch

Von/Mit: E. -R Olderog

143,95 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9789401098700 | The Logic of Time | Johan Van Benthem | Taschenbuch | 276 S. | 2012

The Logic of Time

A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse

EAN: 9789401098700

Sprache: Englisch

Von/Mit: Johan Van Benthem

100,95 € UVP 117,69 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9781788398510 | Continuous Delivery for Mobile with Fastlane | Doron Katz | Buch

Continuous Delivery for Mobile with Fastlane

EAN: 9781788398510

Sprache: Englisch

Von/Mit: Doron Katz

58,40 €

Lieferzeit 1-2 Wochen

Buch

Cover: 9783030411879 | Reinforcement Learning Algorithms: Analysis and Applications | Buch

Reinforcement Learning Algorithms: Analysis and Applications

EAN: 9783030411879

Sprache: Englisch

Von/Mit: Boris Belousov (u. a.)

134,95 € UVP 160,49 €

Lieferzeit 1-2 Wochen

Buch

Cover: 9783030675820 | Statistical Regression Modeling with R | Jenny K. Chen (u. a.) | Buch

Statistical Regression Modeling with R

Longitudinal and Multi-level Modeling

EAN: 9783030675820

Sprache: Englisch

Von/Mit: Jenny K. Chen (u. a.)

114,95 € UVP 139,09 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9783662624234 | The Foundations of Computability Theory | Borut Robi¿ | Taschenbuch

The Foundations of Computability Theory

EAN: 9783662624234

Sprache: Englisch

Von/Mit: Borut Robi¿

59,60 € UVP 69,54 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783031011030 | Data-Driven Personas | Bernard J. Jansen (u. a.) | Taschenbuch | 2021

Data-Driven Personas

EAN: 9783031011030

Sprache: Englisch

Von/Mit: Bernard J. Jansen (u. a.)

63,80 € UVP 74,89 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783031011078 | Participatory Design | Susanne Bødker (u. a.) | Taschenbuch | xviii

Participatory Design

EAN: 9783031011078

Sprache: Englisch

Von/Mit: Susanne Bødker (u. a.)

55,40 € UVP 64,19 €

Lieferzeit 2-4 Werktage

Taschenbuch

Cover: 9783031257209 | Ethical and Social Issues in the Information Age | Joseph Migga Kizza

Ethical and Social Issues in the Information Age

EAN: 9783031257209

Sprache: Englisch

Von/Mit: Joseph Migga Kizza

51,15 € UVP 58,84 €

Lieferzeit 2-4 Werktage

Buch

Cover: 9783031432590 | Cognitive Plausibility in Natural Language Processing | Buch | xi

Cognitive Plausibility in Natural Language Processing

EAN: 9783031432590

Sprache: Englisch

Von/Mit: Nora Hollenstein (u. a.)

38,40 € UVP 42,79 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9781032213996 | Defence Innovation and the 4th Industrial Revolution | Raska (u. a.)

Defence Innovation and the 4th Industrial Revolution

Security Challenges, Emerging Technologies, and Military Implications

EAN: 9781032213996

Sprache: Englisch

Von/Mit: Michael Raska (u. a.)

66,95 €

Lieferzeit 1-2 Wochen

Taschenbuch

Cover: 9789365891096 | Hands-on Splunk on AWS | Jit Sinha | Taschenbuch | Englisch | 2024

Hands-on Splunk on AWS

Complete guide to deploying and administering Splunk for data analysis (English Edition)

EAN: 9789365891096

Sprache: Englisch

Von/Mit: Jit Sinha

53,10 €

Lieferzeit 1-2 Wochen