Conference Papers
Year :
Delphine Demange : Connect in order to contact the contributor
https://inria.hal.science/hal-03899435
Submitted on : Wednesday, December 14, 2022-6:58:07 PM
Last modification on : Wednesday, April 26, 2023-3:27:50 AM
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⟩
Collections
23
View
0
Download