217
click to vote
POPL
2009
ACM
16 years 5 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...