A Reduction Theorem for Store Buffers
by Ernie Cohen and Norbert Schirmer
Norbert Schirmer
2019
2008
A Sequential Imperative Programming Language Syntax, Semantics, Hoare Logics and Verification Environment
by Norbert Schirmer
2005
Jive Data and Store Model
by Nicole Rauch and Norbert Schirmer