Verifying Fast and Sparse SSA-based Optimizations in Coq.

Type de document :
Communication dans un congrès
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom. 2015
Liste complète des métadonnées

https://hal.inria.fr/hal-01110779
Contributeur : Delphine Demange <>
Soumis le : mercredi 28 janvier 2015 - 21:53:28
Dernière modification le : samedi 21 juillet 2018 - 12:28:01

Identifiants

  • HAL Id : hal-01110779, version 1

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. 2015. 〈hal-01110779〉

Partager

Métriques

Consultations de la notice

954