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