On the Linear Ranking Problem for Simple Floating-Point Loops

Abstract : no abstract
Type de document :
Communication dans un congrès
Rival, Xavier. 23rd International Symposium on Static Analysis (SAS), Sep 2016, Edinburgh, United Kingdom. Springer, Lecture Notes in Computer Science, Proceedings of the 23rd International Symposium on Static Analysis (SAS), 9837, pp.300--316, 2016
Liste complète des métadonnées

http://hal.univ-reunion.fr/hal-01451688
Contributeur : Réunion Univ <>
Soumis le : mercredi 1 février 2017 - 12:55:44
Dernière modification le : dimanche 5 novembre 2017 - 15:58:03

Identifiants

  • HAL Id : hal-01451688, version 1

Collections

Citation

Etienne Payet, Fonenantsoa Maurica, Frédéric Mesnard. On the Linear Ranking Problem for Simple Floating-Point Loops. Rival, Xavier. 23rd International Symposium on Static Analysis (SAS), Sep 2016, Edinburgh, United Kingdom. Springer, Lecture Notes in Computer Science, Proceedings of the 23rd International Symposium on Static Analysis (SAS), 9837, pp.300--316, 2016. 〈hal-01451688〉

Partager

Métriques

Consultations de la notice

14