A more precise, more correct stack and register model for CompCert

Complete list of metadatas

https://hal.inria.fr/hal-01799629
Contributor : Gergö Barany <>
Submitted on : Thursday, May 24, 2018 - 11:44:02 PM
Last modification on : Saturday, May 26, 2018 - 1:18:12 AM
Long-term archiving on : Saturday, August 25, 2018 - 5:40:45 PM

File

LOLA_2018_paper_4.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01799629, version 1

Collections

Citation

Gergö Barany. A more precise, more correct stack and register model for CompCert. LOLA 2018 - Syntax and Semantics of Low-Level Languages 2018, Jul 2018, Oxford, United Kingdom. ⟨hal-01799629⟩

Share

Metrics

Record views

213

Files downloads

148