109
click to vote
POPL
2009
ACM
15 years 2 days ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...