Login / Signup
Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress).
Li-yao Xia
Yannick Zakowski
Paul He
Chung-Kil Hur
Gregory Malecha
Benjamin C. Pierce
Steve Zdancewic
Published in:
CoRR (2019)
Keyphrases
</>
decision trees
recursive programs
user interaction
learning algorithm
formal methods
human computer interaction
tree structure
artificial intelligence
human robot interaction
fixpoint
automatic programming
recursive algorithm
labeled trees