Login / Signup
Joins: A Case Study in Modular Specification of a Concurrent Reentrant Higher-Order Library.
Kasper Svendsen
Lars Birkedal
Matthew J. Parkinson
Published in:
ECOOP (2013)
Keyphrases
</>
higher order
hybrid automata
pairwise
case study
high order
test bed
low order
query optimization
natural images
specification language
markov random field
formal specification
conditional random fields
sql queries
join processing
modular structure
highly modular
query evaluation
join algorithms
similarity measure