Extracting queries by static analysis of transparent persistence.
Ben WiedermannWilliam R. CookPublished in: POPL (2007)
Keyphrases
- static analysis
- dynamic analysis
- source code
- query language
- query processing
- regular expressions
- query evaluation
- range queries
- abstract interpretation
- java card
- user queries
- open source
- symbolic execution
- database
- web search engines
- response time
- high level
- test generation
- databases
- malicious code
- data objects
- training data