A Formalisation of Algorithms for Sorting Network
Abstract
This notes explains how standard algorithms that construct sorting networks have been formalised and proved correct in the Coq proof assistant using the SSReflect extension.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2022
- DOI:
- 10.48550/arXiv.2203.01579
- arXiv:
- arXiv:2203.01579
- Bibcode:
- 2022arXiv220301579T
- Keywords:
-
- Computer Science - Data Structures and Algorithms