High-level separation logic for low-level code.
Jonas Braband JensenNick BentonAndrew KennedyPublished in: POPL (2013)
Keyphrases
- low level
- high level
- source code
- higher level
- lower level
- mid level
- high level abstractions
- low level features
- programming language
- visual cues
- programs written
- semantic gap
- classical logic
- high level vision
- predicate logic
- modal logic
- logic programming
- intermediate level
- visual features
- logical operations
- object level
- static analysis
- visual information
- figure ground
- deontic logic
- video retrieval
- multi valued
- digital circuits
- error correcting
- software systems