Relational Program Reasoning Using Compiler IR.
Moritz KieferVladimir KlebanovMattias UlbrichPublished in: VSTTE (2016)
Keyphrases
- information retrieval
- information retrieval systems
- knowledge base
- relational databases
- computer programs
- programs written
- relational data
- general purpose
- knowledge representation
- programming language
- qualitative reasoning
- query expansion
- data model
- spatial reasoning
- software systems
- text retrieval
- relational model
- probabilistic reasoning
- reasoning process
- reasoning systems
- java programs
- program execution
- databases