A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
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 i...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Online |
| Idioma: | anglès |
| Publicat: |
KIT Scientific Publishing
2021
|
| Matèries: | |
| Accés en línia: | 34959 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
- Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
- Secteur public et concurrence
- Faire la concurrence
- Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
- Essai sur l’équilibre de la convention de non-concurrence
- Islamic States in Java 1500-1700