Login / Signup

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq.

Nicolas ChappePaul HeLudovic HenrioYannick ZakowskiSteve Zdancewic
Published in: CoRR (2022)
Keyphrases
  • recursive programs
  • decision trees
  • theorem prover
  • recursive functions
  • database systems
  • index structure
  • tree structure
  • fixpoint
  • binary trees