Login / Signup

Linear Promises: Towards Safer Concurrent Programming (Artifact).

Ohad RauCaleb VossVivek Sarkar
Published in: Dagstuhl Artifacts Ser. (2021)
Keyphrases
  • concurrent programming
  • concurrent programs
  • programming language
  • machine learning
  • learning algorithm
  • closed form
  • data sets
  • databases
  • neural network
  • digital libraries
  • wireless sensor networks
  • formal specification