Verifying Fast and Sparse SSA-based Optimizations in Coq.

Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01110779
Contributor : Delphine Demange <>
Submitted on : Wednesday, January 28, 2015 - 9:53:28 PM
Last modification on : Tuesday, November 20, 2018 - 5:42:48 PM

Identifiers

  • 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. ⟨hal-01110779⟩

Share

Metrics

Record views

1187