Specification and Verification of a Transient Stack (Artifact)
Résumé
This repository contains the formalization of a transient stack and its iterator, as described in the CPP'22 paper "Specification and Verification of a Transient Stack".
Domaines
Informatique [cs]![]()
Décrit hal-03472028 Objet présenté à une conférence Alexandre Moine, Arthur Charguéraud, François Pottier. Specification and Verification of a Transient Stack. CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩. ⟨hal-03472028⟩
![]()
Cite hal-03472028 Objet présenté à une conférence Alexandre Moine, Arthur Charguéraud, François Pottier. Specification and Verification of a Transient Stack. CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩. ⟨hal-03472028⟩
![]()
Cite 10.1145/3497775.3503677 Specification and verification of a transient stack, https://doi.org/10.1145/3497775.3503677