Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
CHF 59.40
Auf Lager
SKU
7VH2EQBIV6A
1 Verfügbar 
Geliefert zwischen Di., 25.11.2025 und Mi., 26.11.2025
Details
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.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783866448858
- Genre Programmiersprachen
- Sprache Englisch
- Lesemotiv Verstehen
- Anzahl Seiten 436
- Herausgeber Karlsruher Institut für Technologie
- Größe H210mm x B148mm x T27mm
- Jahr 2014
- EAN 9783866448858
- Format Kartonierter Einband
- ISBN 3866448856
- Veröffentlichung 04.06.2014
- Titel A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
- Autor Andreas Lochbihler
- Untertitel Dissertationsschrift
- Gewicht 628g
Bewertungen
Schreiben Sie eine Bewertung
