Keyphrases
- partial evaluation
- malware detection
- explanation based generalization
- malicious executables
- anomaly detection
- application programming interface
- programming language
- source code
- open source
- web services
- object oriented
- domain theory
- xpath queries
- domain knowledge
- web applications
- higher order
- inductive logic programming
- intrusion detection