Login / Signup
Dynamically checking ownership policies in concurrent c/c++ programs.
Jean-Phillipe Martin
Michael Hicks
Manuel Costa
Periklis Akritidis
Miguel Castro
Published in:
POPL (2010)
Keyphrases
</>
hierarchical reinforcement learning
automatic programming
changing environment
neural network
concurrent programs
dynamically changing
control program
e learning
database systems
optimal policy
answer sets
computer programs
consistency checking
concurrent programming
dynamically created