Weakest Preconditions for High-Level Programs.
Annegret HabelKarl-Heinz PennemannArend RensinkPublished in: ICGT (2006)
Keyphrases
- inference rules
- high level
- low level
- intermediate level
- higher level
- programming language
- high level programming
- explanation based learning
- search engine
- low level features
- control structures
- contextual information
- automatic programming
- computer programs
- semantic information
- lower level
- inductive learning
- database
- artificial intelligence
- data mining
- databases