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

Verifying Fast and Sparse SSA-based Optimizations in Coq.

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⟩
368 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More