Sign in
Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.
Nicolas Chappe
Paul He
Ludovic Henrio
Yannick Zakowski
Steve Zdancewic
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
recursive programs
decision trees
formal methods
finite state
computer programs
data sets
program synthesis
genetic algorithm
learning algorithm
hidden markov models
logic programs
tree structure
programming environment
fixpoint
datalog programs
tree models