High-level Proofs about Low-level Programs.
Holger GastJulia TrieflingerPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
- low level
- high level
- intermediate level
- computer programs
- higher level
- low level features
- mid level
- high level programming
- visual cues
- middle level
- lower level
- programming language
- semantic gap
- object level
- visual information
- visual features
- high level information
- data sets
- multiscale
- semantic concepts
- high level semantics
- high level vision
- formal proofs
- higher level of abstraction
- control program
- programming environment
- theorem proving
- theorem prover
- semantic information
- expert systems
- genetic algorithm