Login / Signup

Checking Linearizability of Encapsulated Extended Operations.

Oren ZomerGuy Golan-GuetaG. RamalingamMooly Sagiv
Published in: ESOP (2014)
Keyphrases
  • arithmetic operations
  • databases
  • neural network
  • bayesian networks