Verifying Fast and Sparse SSA-based Optimizations in Coq. - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
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 : vendredi 12 mai 2023-04:11:17

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

Partager

Gmail Facebook X LinkedIn More