Login / Signup

Proof-Based Synthesis of Sorting Algorithms for Trees.

Isabela DramnescTudor JebeleanSorin Stratulat
Published in: LATA (2016)
Keyphrases
  • sorting algorithms
  • data structures and algorithms
  • decision trees
  • tree structures
  • linear logic
  • theorem prover
  • databases
  • tree structure
  • theorem proving
  • tree construction
  • program synthesis