Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Verifying Fast and Sparse SSA-based Optimizations in Coq.

Delphine Demange 1 David Pichardie 1 Léo Stefanesco 2 
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 ENS Lyon - École normale supérieure - Lyon
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01110779
Contributor : Delphine Demange Connect in order to contact the contributor
Submitted on : Wednesday, January 28, 2015 - 9:53:28 PM
Last modification on : Wednesday, February 2, 2022 - 3:55:48 PM

Identifiers

  • HAL Id : hal-01110779, version 1

Collections

ENS-LYON | INSTITUT-TELECOM | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | ENS-RENNES | CENTRALESUPELEC | IRISA-D4 | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | UDL | ANR | UR1-MATH-NUM

Citation

Delphine Demange, David Pichardie, Léo Stefanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq.. 24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom. ⟨hal-01110779⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

319

 

Contact                    Legal Notice                    Personal Data