Login / Signup
Interaction trees: representing recursive and impure programs in Coq.
Li-yao Xia
Yannick Zakowski
Paul He
Chung-Kil Hur
Gregory Malecha
Benjamin C. Pierce
Steve Zdancewic
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
recursive programs
user interaction
decision trees
human computer interaction
tree structure
automatic programming
human interaction
theorem prover
tree models
case study
database
leaf nodes
transformation rules
data structure
recursive algorithm
program synthesis
information systems