Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies
Daniel Wright, Mark Batty, Brijesh Dongol
Topics & Concepts
Denotational semanticsOperational semanticsComputer scienceMathematical proofSemantics (computer science)Programming languageWell-founded semanticsAction semanticsTheoretical computer scienceMathematicsGeometrySecurity and Verification in ComputingLogic, programming, and type systemsDistributed systems and fault tolerance