Fully abstract trace semantics for low-level isolation mechanisms.
Marco PatrignaniDave ClarkePublished in: SAC (2014)
Keyphrases
- low level
- high level
- higher level
- high level semantics
- semantic information
- low level features
- lower level
- reasoning mechanisms
- logic programming
- visual features
- visual information
- mid level
- visual cues
- formal semantics
- mechanism design
- semantic concepts
- graphical representation
- semantic gap
- conceptual model
- databases
- owl ontologies
- source code
- middle level
- execution traces