Login / Signup
A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs.
Suvam Mukherjee
Oded Padon
Sharon Shoham
Deepak D'Souza
Noam Rinetzky
Published in:
CoRR (2020)
Keyphrases
</>
computationally efficient
database
case study
real time
cost effective
formal semantics
transformation rules