Login / Signup

Clean: a race detector with cleaner semantics.

Cedomir SeguljaTarek 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