Type-Directed Bounding of Collections in Reactive Programs.

Tianhan Lu Pavol Cerný Bor-Yuh Evan Chang Ashutosh Trivedi

Published in: VMCAI (2019)

Keyphrases

digital libraries
upper bound
information retrieval
data mining
document collections
data sets
information retrieval systems
tree traversal
genetic algorithm
social networks
information systems
e learning
information technology
text collections