Bridging the Gap Between Programming Languages and Hardware Weak Memory Models.

Anton Podkopaev Ori Lahav Viktor Vafeiadis

Published in: CoRR (2018)

Keyphrases

programming language
object oriented
software engineering
high level
programming environment
strongly typed
logic programming
database
general purpose
computer systems
object oriented programming
specification language
memory management
data abstraction
program code
denotational semantics