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 (187.18 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 : mercredi 2 mars 2022-13:19:08

Dernière modification le : jeudi 15 février 2024-03:31:18

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 INRIA IRISA INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-COTEDAZUR UNIV-RENNES UR1-MATH-NUM
57 Consultations
102 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More