A Formalisation of Algorithms for Sorting Network - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

A Formalisation of Algorithms for Sorting Network

Laurent Théry
Sûreté du logiciel et Preuves Mathématiques Formalisées

Résumé

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.

Domaines

Logique en informatique [cs.LO] Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
Note.pdf (171.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Laurent Théry  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03585618

Soumis le : jeudi 24 février 2022-10:37:37

Dernière modification le : mercredi 15 mars 2023-08:58:09

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-03585618 , version 1

Citer

Laurent Théry. A Formalisation of Algorithms for Sorting Network. 2022. ⟨hal-03585618v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
57 Consultations
103 Téléchargements

Partager

Gmail Facebook X LinkedIn More