A Formalisation of Algorithms for Sorting Network - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2022

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.
Fichier principal
Vignette du fichier
Note.pdf (187.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03585618 , version 1 (24-02-2022)
hal-03585618 , version 2 (02-03-2022)

Identifiers

Cite

Laurent Théry. A Formalisation of Algorithms for Sorting Network. 2022. ⟨hal-03585618v2⟩
51 View
83 Download

Altmetric

Share

Gmail Facebook X LinkedIn More