Proof-Directed De-compilation of Low-Level Code.
Shin-ya KatsumataAtsushi OhoriPublished in: ESOP (2001)
Keyphrases
- low level
- high level
- code generation
- source code
- higher level
- high level abstractions
- low level features
- visual cues
- visual information
- database
- theorem proving
- lower level
- application development
- mid level
- linear logic
- multi modal
- visual features
- semantic information
- theorem prover
- semantic concepts
- data flow
- information systems
- genetic algorithm