Dijkstra monads forever: termination-sensitive specifications for interaction trees.

Lucas Silver Steve Zdancewic

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

user interaction
decision trees
human computer interaction
high level
human robot interaction
phylogenetic trees
database
data sets
databases
social networks
multi agent systems
human interaction
tree structures
specification language
labeled trees