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...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Leictreonach Caibidil leabhair |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
KIT Scientific Publishing
2012
|
| Ábhair: | |
| Rochtain ar líne: | DOAB: download the publication DOAB: description of the publication |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Ar líne
DOAB: download the publicationDOAB: description of the publication
3rd Floor Main Library
| Gairmuimhir: |
A1234.567 |
|---|---|
| Cóip 1 | Ar fáil |