Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms.

Isabela Dramnesc Tudor Jebelean Sorin Stratulat

Published in: SYNASC (2015)

Keyphrases

sorting algorithms
data structures and algorithms
theorem proving
texture synthesis
program synthesis
data sets
theorem prover
linear logic
natural deduction