Mergesort

This page lists the transition systems that lead to the mergesort algorithm through successive refinement of systems based on merging and splitting of lists.

  1. Shuffle
  2. Merge Strategy
  3. Merge (Sorted)
  4. Merge Algorithm
  5. Merging Sublists
  6. Mergesort Recursive
  7. Mergesort Arbitrary Merge

The development of some of these experiments has been supported by CEMCA