Mechanised Semantics for Gated Static Single Assignment - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :
Not file

Dates and versions

hal-03899435 , version 1 (14-12-2022)

Identifiers

Cite

Yann Herklotz, Delphine Demange, Sandrine Blazy. Mechanised Semantics for Gated Static Single Assignment. CPP 2023 - 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2023, Boston, United States. ⟨10.1145/3573105.3575681⟩. ⟨hal-03899435⟩
23 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More