Keyphrases
- static analysis
- expressive power
- deductive databases
- query answering
- dynamic analysis
- datalog programs
- source code
- query language
- symbolic execution
- logic programming
- java card
- regular expressions
- key management
- integrity constraints
- malicious code
- abstract interpretation
- test generation
- data exchange
- open source
- key distribution
- feature space