Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

An Analysis of Permutations in Arrays

Abstract : This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For instance, to prove a sorting procedure, one has to show that the result is sorted, but also that it is a permutation of the initial array. In order to analyze this kind of properties, we define an abstract interpretation working on multisets of values, and able to discover invariant equations about such multisets.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00456558
Contributeur : Nicolas Halbwachs Connectez-vous pour contacter le contributeur
Soumis le : lundi 15 février 2010 - 17:00:14
Dernière modification le : mardi 19 octobre 2021 - 13:48:08
Archivage à long terme le : : jeudi 18 octobre 2012 - 15:07:31

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

IMAG | CNRS | VERIMAG | UGA | ANR

Citation

Valentin Perrelle, Nicolas Halbwachs. An Analysis of Permutations in Arrays. Verification, Model Checking, and Abstract Interpretation, Jan 2010, Madrid, Spain. pp.279-294, ⟨10.1007/978-3-642-11319-2_21⟩. ⟨hal-00456558⟩

Partager

Métriques

Consultations de la notice

208

Téléchargements de fichiers

220