CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction - Inria - Institut national de recherche en sciences et technologies du numérique
Proceedings/Recueil Des Communications Année : 2021

CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction

Aaron Smith
  • Fonction : éditeur scientifique
Microsoft Research
University of Edinburgh
Delphine Demange
Institut de Recherche en Informatique et Systèmes Aléatoires
Software certification with semantic analysis
Rajiv Gupta
  • Fonction : éditeur scientifique
University of California [Riverside]

Domaines

Informatique

Delphine Demange  : Connectez-vous pour contacter le contributeur

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

Soumis le : mardi 30 mars 2021-17:49:14

Dernière modification le : mardi 19 novembre 2024-14:04:09

Fichier non déposé

Dates et versions

hal-03185984 , version 1 (30-03-2021)

Identifiants

Citer

Aaron Smith, Delphine Demange, Rajiv Gupta. CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction. CC '21 - 30th ACM SIGPLAN International Conference on Compiler Construction, Virtual Republic of Korea, ACM, 2021, ⟨10.1145/3446804⟩. ⟨hal-03185984⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM CYBERSCHOOL
81 Consultations
0 Téléchargements

Altmetric

Partager

More