9783866448858 - A Machine-Checked Type-Safe Model of Java Concurrency Language Virtual Machine Memory Model and Verified Compiler

Bilder-Quelle: discount24.de - Sport-Freizeit

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Produktinformationen zuletzt aktualisiert am
20.03.2025 um 19:46 Uhr

Hersteller

EAN

9783866448858

MPN

ASIN

Produktgruppe

Aktuelle Preise zu A Machine-Checked Type-Safe Model of Java

Produktzustand:

Neu

Aufgearbeitet

Gebraucht

Verfügbarkeit:

Auf lager

Nicht auf Lager

Keine Lieferinfo

Versandkosten:

versandkostenfrei

Sonderpreis:

Nur mit Sonderpreis

A Machine-Checked Type-Safe Model of Java Concurrency Language ... >>>

EAN: 9783866448858

Aktuelle Preise zu A Machine-Checked Type-Safe Model of Java