Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadata

https://hal.inria.fr/hal-01799629
Contributor : Gergö Barany Connect in order to contact the contributor
Submitted on : Thursday, May 24, 2018 - 11:44:02 PM
Last modification on : Friday, January 21, 2022 - 3:16:32 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

Les métriques sont temporairement indisponibles