Login / Signup
Prototyping a query compiler using Coq (experience report).
Joshua S. Auerbach
Martin Hirzel
Louis Mandel
Avraham Shinnar
Jérôme Siméon
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
query evaluation
query processing
database
data structure
programming language
response time
keywords
relevance feedback
general purpose
query formulation
query expansion
range queries
complex queries
code generation
user queries
data sources
keyword search
theorem prover
data objects
aggregate queries