A Program Logic for Reasoning About C11 Programs With Release-Sequences
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Access"
DOI: 10.1109/access.2020.3024681
Abstract: With the popularity of weak/relaxed memory models widely used in modern hardware architectures, the C11 standard introduced a language level weak memory model, A.K.A the C11 memory model, that allows C/C++ programs to exploit the… read more here.
Keywords: c11 programs; program logic; c11; memory ... See more keywords