Recursive proofs for inductive tree data-structures

Keyphrases

• Tree Data Structures 100%
• Dryad 66%
• Functional Properties 33%
• Recursion 33%
• Imperative Programs 33%
• B+ Tree 33%
• Systematic Methodology 33%
• Functional Specification 33%
• Treap 33%
• SMT Solver 33%
• First-Order Logic with Recursive Definitions 33%
• Max-heap 33%
• AVL Tree 33%
• Binomial Heap 33%
• Complex Tree 33%
• Red-black Tree 33%
• Logical Mechanisms 33%
• Structure Algorithm 33%

Computer Science

• Data Structure 100%
• Postcondition 66%
• Precondition 66%
• Functional Property 33%
• Recursive Definition 33%
• Systematic Methodology 33%
• Functional Specification 33%