Recherche - Archive ouverte HAL

Documentation
Français (FR)

Anglais (EN)

9 résultats

	Pour les 9 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Result graphs for an abstract interpretation-based static analyzer Pascal Cuoq , Raphaël Rieu-Helft 28èmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France Communication dans un congrès hal-01503064v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Why3 proof of GMP algorithms Raphaël Rieu-Helft Journal of Formalized Reasoning, 2019, ⟨10.6092/issn.1972-5787/9730⟩ Article dans une revue hal-02477578v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		WhyMP, a Formally Verified Arbitrary-Precision Integer Library Guillaume Melquiond , Raphaël Rieu-Helft Journal of Symbolic Computation, 2023, 115, pp.74-95. ⟨10.1016/j.jsc.2022.07.007⟩ Article dans une revue hal-03233220v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		How to Get an Efficient yet Verified Arbitrary-Precision Integer Library Raphaël Rieu-Helft , Claude Marché , Guillaume Melquiond 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. pp.84-101, ⟨10.1007/978-3-319-72308-2_6⟩ Communication dans un congrès hal-01519732v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Un mécanisme d'extraction vers C pour Why3 Raphaël Rieu-Helft 29èmes Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls-sur-Mer, France Communication dans un congrès hal-01653153v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Why3 Framework for Reflection Proofs and its Application to GMP's Algorithms Guillaume Melquiond , Raphaël Rieu-Helft 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom. pp.178-193, ⟨10.1007/978-3-319-94205-6_13⟩ Communication dans un congrès hal-01699754v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		WhyMP, a Formally Verified Arbitrary-Precision Integer Library Guillaume Melquiond , Raphaël Rieu-Helft ISSAC 2020 - 45th International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.352-359, ⟨10.1145/3373207.3404029⟩ Communication dans un congrès hal-02566654v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Un mécanisme de preuve par réflexion pour Why3 et son application aux algorithmes de GMP Raphaël Rieu-Helft JFLA 2019 - 30èmes Journées Francophones des Langages Applicatifs, Jan 2019, Rousses, France Communication dans un congrès hal-01943010v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Verification of a State-of-the-Art Integer Square Root Guillaume Melquiond , Raphaël Rieu-Helft ARITH-26 2019 - 26th IEEE 26th Symposium on Computer Arithmetic, Jun 2019, Kyoto, Japan. pp.183-186, ⟨10.1109/ARITH.2019.00041⟩ Communication dans un congrès hal-02092970v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More