Sign in

Mathematizing C++ concurrency.

Mark BattyScott OwensSusmit SarkarPeter SewellTjark Weber
Published in: POPL (2011)
Keyphrases
  • database systems
  • concurrency control
  • data flow
  • concurrent execution
  • machine learning
  • artificial intelligence
  • search engine
  • digital libraries
  • software systems
  • object oriented languages