inria-00089230, version 2
A proposal for the C++ standard : Bool_set, multi-valued logic
Sylvain Pion
a, 1Guillaume Melquiond a, 2Hervé Brönnimann b, 3
N° RR-5967 (2006)
Résumé : We propose a design for multi-valued logic, for integration into the C++ standard. The main motivation for this class comes from interval arithmetic, where it can be conveniently used as return type of comparison operators. It also has many other potential applications.
- a – INRIA
- b – Polytechnic University of New York
- 1 : GEOMETRICA (INRIA Sophia Antipolis)
- INRIA
- 2 : ARENAIRE (Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme)
- INRIA – CNRS : UMR5668 – Université Claude Bernard - Lyon I – École Normale Supérieure - Lyon
- 3 : Department of Computer Science and Engineering
- Polytechnic University of New York
- Domaine : Informatique/Génie logiciel
- Mots-clés : C++ – standardization – library – interval arithmetic – certification – multi-valued logic
- Référence interne : RR-5967
- Versions disponibles : v1 (16-08-2006) v2 (18-08-2006)
- inria-00089230, version 2
- http://hal.inria.fr/inria-00089230
- oai:hal.inria.fr:inria-00089230
- Contributeur : Rapport De Recherche Inria
- Soumis le : Vendredi 18 Août 2006, 17:00:03
- Dernière modification le : Vendredi 18 Août 2006, 17:00:14
Documents associés
Exporter