Keyphrases
- lightweight
- higher order
- programming language
- high order
- functional programming
- rewriting rules
- query rewriting
- lambda calculus
- plagiarism detection
- markov random field
- wireless sensor networks
- communication infrastructure
- pairwise
- dos attacks
- rewrite rules
- conjunctive queries
- queries using views
- functional language
- datalog programs
- intrusion detection