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