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

Gergö Barany

Communication Dans Un Congrès Année : 2018

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

(1)

1

Gergö Barany

Fonction : Auteur
PersonId : 1024724

Langages de programmation, types, compilation et preuves

Domaines

Langage de programmation [cs.PL] Logique en informatique [cs.LO]

Fichier principal

LOLA_2018_paper_4.pdf (126.46 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Gergö Barany : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01799629

Soumis le : jeudi 24 mai 2018-23:44:02

Dernière modification le : mardi 3 octobre 2023-17:18:04

Archivage à long terme le : samedi 25 août 2018-17:40:45

Dates et versions

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

Identifiants

HAL Id : hal-01799629 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2

200 Consultations

167 Téléchargements

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

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager