Vérification formelle du tri fonctionnel par tas - Etude opérationnelle

Pascal Manoury

Communication Dans Un Congrès Année : 2008

Vérification formelle du tri fonctionnel par tas - Etude opérationnelle

(1)

1

Pascal Manoury

Fonction : Auteur

Preuves, Programmes et Systèmes

Domaines

Langage de programmation [cs.PL]

Fichier principal

manoury.pdf (486.98 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Sandrine Blazy : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 8 janvier 2008-16:46:37

Dernière modification le : vendredi 24 mars 2023-14:52:49

Archivage à long terme le : jeudi 27 septembre 2012-13:51:40

Dates et versions

inria-00202834 , version 1 (08-01-2008)

Identifiants

HAL Id : inria-00202834 , version 1

Citer

Pascal Manoury. Vérification formelle du tri fonctionnel par tas - Etude opérationnelle. JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.107-122. ⟨inria-00202834⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS JFLA08

32 Consultations

70 Téléchargements

Vérification formelle du tri fonctionnel par tas - Etude opérationnelle

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager