Type-directed Bounding of Collections in Reactive Programs.

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

Published in: CoRR (2018)

Keyphrases

upper bound
data structure
tree traversal
reactive planning
fixpoint
case study
document collections
databases
lower bound
text collections
agent architecture
programming language
digital libraries
search algorithm
high level
decision trees
metadata
artificial intelligence