Specifying and checking semantic atomicity for multithreaded programs.

Jacob Burnim George C. Necula Koushik Sen

Published in: ASPLOS (2011)

Keyphrases

semantic web
semantic information
electronic commerce
computer programs
high level
natural language
semantic description
domain specific
low level features
semantic analysis
semantic knowledge
semantic representation
multidatabase systems
domain ontology
acid properties
low level
similarity measure