Login / Signup
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement.
Yannick Zakowski
David Cachera
Delphine Demange
David Pichardie
Published in:
SAC (2018)
Keyphrases
</>
data structure
semantic annotation
natural language
semantic web
semantic information
semantic knowledge
semantic analysis
semantically rich
high level
semantically meaningful
natural language understanding
semantic features
evolutionary algorithm
data types
domain specific
query processing
semantic interpretation