Skip to content

An operational semantics for C/C++11 concurrency.

Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell

VenueAOOPSLA
Year2016
ProceedingsOOPSLA

Browse the full OOPSLA paper archive.