Static Reasoning about Programs and Queries.

Todd D. Millstein

Published in: PCK50 (2003)

Keyphrases

query processing
query language
response time
database
web search engines
efficient processing
user queries
range queries
spatial reasoning
data sources
answering queries
formal theory
computer programs
database queries
query evaluation
user defined
data model