Logiciel Année : 2021

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".
HAL

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⟩

HAL

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⟩

DOI

Cite 10.1145/3497775.3503677 Specification and verification of a transient stack, https://doi.org/10.1145/3497775.3503677

99 Consultations
30 Téléchargements

Partager

More