Proof Techniques for Synthesis of Sorting Algorithms.

Isabela Dramnesc Tudor Jebelean

Published in: SYNASC (2011)

Keyphrases

sorting algorithms
data structures and algorithms
texture synthesis
theorem prover
theorem proving
program synthesis
data structure
natural deduction
learning process
functional programs
mathematical proofs
data analysis
preprocessing
statistical model
social interaction
proof planning