A more precise, more correct stack and register model for CompCert - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

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

Fichier principal
Vignette du fichier
LOLA_2018_paper_4.pdf (126.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01799629 , version 1 (24-05-2018)

Identifiers

  • HAL Id : hal-01799629 , version 1

Cite

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⟩

Collections

INRIA INRIA2
193 View
158 Download

Share

Gmail Facebook X LinkedIn More