Verifying Fast and Sparse SSA-based Optimizations in Coq. - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 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

Domaines

Informatique

Delphine Demange  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 28 janvier 2015-21:53:28

Dernière modification le : mardi 12 novembre 2024-15:20:06

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-01110779 , version 1

Citer

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⟩

Exporter

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
423 Consultations
0 Téléchargements

Partager

More