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...
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Online |
| Taal: | Engels |
| Gepubliceerd in: |
KIT Scientific Publishing
2021
|
| Onderwerpen: | |
| Online toegang: | 34959 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
Gelijkaardige items: 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
- 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
- Secteur public et concurrence
- Faire la concurrence
- Essai sur l’équilibre de la convention de non-concurrence
- Islamic States in Java 1500-1700