Can seqlocks get along with programming language memory models?

Hans-Juergen Boehm

Published in: MSPC (2012)

Keyphrases

programming language
general purpose
object oriented
strongly typed
databases
high level
software engineering
denotational semantics
logic programming
artificial intelligence
functional programming
functional language
object oriented concepts