Monografie
A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler
- Sprache
-
Englisch
- Umfang
-
XXI, 412 S.
- Anmerkungen
-
Zugl.: Karlsruhe, Karlsruher Inst. für Technologie, Diss., 2012
- ISBN
-
978-3-86644-885-8
- Identifier
-
1026537800
- Thema
-
Java ; Thread ; Nebenläufigkeit ; Java Memory Model ; Typprüfung ; Formale Semantik ; Compiler ; Isabelle ; HOL ; Korrektheit ; Formalisierung ; Hochschulschrift
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:55 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Comparison of concurrency frameworks for the Java virtual machine
Machine Learning Based Compiler Optimisation and Parallelisation
Building a smarty-to-machine-code compiler
Machine Learning Based Compiler Optimisation and Parallelisation
Machine learning model for thermo-elastic machine tool errors
Model-agnostic interpretable machine learning
Model-agnostic Interpretable Machine Learning
Virtual prototyping of machine tools
The Hip Hop Virtual Machine
Behavioural Customisation of State Machine Models
Model Averaging and Double Machine Learning
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Comparison of concurrency frameworks for the Java virtual machine
Machine Learning Based Compiler Optimisation and Parallelisation
Building a smarty-to-machine-code compiler
Machine Learning Based Compiler Optimisation and Parallelisation
Machine learning model for thermo-elastic machine tool errors
Model-agnostic interpretable machine learning
Model-agnostic Interpretable Machine Learning
Virtual prototyping of machine tools
The Hip Hop Virtual Machine
Behavioural Customisation of State Machine Models
Model Averaging and Double Machine Learning
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Comparison of concurrency frameworks for the Java virtual machine
Machine Learning Based Compiler Optimisation and Parallelisation
Building a smarty-to-machine-code compiler
Machine Learning Based Compiler Optimisation and Parallelisation
Machine learning model for thermo-elastic machine tool errors
Model-agnostic interpretable machine learning
Model-agnostic Interpretable Machine Learning
Virtual prototyping of machine tools
The Hip Hop Virtual Machine
Behavioural Customisation of State Machine Models