Titel

Merkliste
1 Ergebnisse

Relaxed-memory concurrency and verified compilation:

, In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Ŝevčik, Jaroslav ; Vafeiadis, Viktor ; Zappa Nardelli, Francesco.. - p. 43-54 , 2011

Link: https://dl.acm.org/doi/10.1145/1926385.1926393

RT 
T1 <cTitle>Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages</cTitle>: T1 <Title>Relaxed-memory concurrency and verified compilation</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1926393&Exemplar=1&LAN=DE
				
A1 Ŝevčik, Jaroslav
A1 Vafeiadis, Viktor
A1 Zappa Nardelli, Francesco
A1 Jagannathan, Suresh
A1 Sewell, Peter
PB ACM
YR 2011
K1 relaxed memory models
K1 semantics
K1 verifying compilation
K1 Computer systems organization
K1 Architectures
K1 Parallel architectures
K1 Multiple instruction, multiple data
K1 Software and its engineering
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Concurrent programming languages
K1 Theory of computation
K1 Logic
K1 Computing methodologies
K1 Concurrent computing methodologies
K1 Semantics and reasoning
K1 Program reasoning
SP 43
OP 54
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1926385.1926393
DO https://dl.acm.org/doi/10.1145/1926385.1926393
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)