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

Type de document :
Communication dans un congrès
LOLA 2018 - Syntax and Semantics of Low-Level Languages 2018, Jul 2018, Oxford, United Kingdom
Liste complète des métadonnées

https://hal.inria.fr/hal-01799629
Contributeur : Gergö Barany <>
Soumis le : jeudi 24 mai 2018 - 23:44:02
Dernière modification le : samedi 26 mai 2018 - 01:18:12
Document(s) archivé(s) le : samedi 25 août 2018 - 17:40:45

Fichier

LOLA_2018_paper_4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

178

Téléchargements de fichiers

115