Login / Signup
Clean: a race detector with cleaner semantics.
Cedomir Segulja
Tarek S. Abdelrahman
Published in:
ISCA (2015)
Keyphrases
</>
formal semantics
logic programming
detection method
data sets
semantic information
detection algorithm
machine learning
artificial intelligence
multiscale
conceptual graphs
operational semantics
proof theory