Top-down Synthesis of Sorting Algorithms

  • K K Lau
  • Published 1992


Traditionally sorting algorithms are classiied according to their main operational characteristic , rather than their underlying logic. More recent work in program synthesis has exposed the logic of and hence the logical relationships between some sorting algorithms. Following the program synthesis approach, and by using a logic programming system for… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics