CC 2021: Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
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 : jeudi 7 mars 2024-12:32:05

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

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

Altmetric

Partager

Gmail Facebook X LinkedIn More