This page lists the transition systems that lead to the
mergesort algorithm through successive refinement of systems
based on merging and splitting of lists.
-
Shuffle
-
Merge Strategy
-
Merge (Sorted)
-
Merge Algorithm
-
Merging Sublists
-
Mergesort Recursive
-
Mergesort Arbitrary Merge
The development of some of these experiments has been supported by CEMCA