AlCons : Deductive Synthesis of Sorting Algorithms in Theorema.

Isabela Dramnesc, Tudor Jebelean

Browse the full ICTAC paper archive.