Bridging the gap between programming languages and hardware weak memory models.

Anton Podkopaev Ori Lahav Viktor Vafeiadis

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

programming language
software engineering
high level
general purpose
programming environment
object oriented
database languages
databases
strongly typed
data structure
logic programming
parallel processing
data abstraction
lambda calculus