Verifying Fast and Sparse SSA-based Optimizations in Coq. - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2015

Verifying Fast and Sparse SSA-based Optimizations in Coq.

Delphine Demange
Software certification with semantic analysis
David Pichardie
Software certification with semantic analysis
CV
Léo Stefanesco
École normale supérieure de Lyon

Domains

Computer science

Delphine Demange  : Connect in order to contact the contributor

https://inria.hal.science/hal-01110779

Submitted on : Wednesday, January 28, 2015-9:53:28 PM

Last modification on : Tuesday, August 27, 2024-12:45:37 PM

No file

Dates and versions

hal-01110779 , version 1 (28-01-2015)

Identifiers

  • HAL Id : hal-01110779 , version 1

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON 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
408 View
0 Download

Share

More