Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms.

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat

Browse the full SYNASC paper archive.