SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★
Andrici, Cezar-Constantin
;
Ahman, Danel
;
Hritcu, Catalin
;
Icleanu, Ruxandra
;
Martinez, Guido
;
Rivas, Exequiel
;
Winterhalter, Theo
Proceedings of the ACM on Programming Languages
2025
/
art 253, p. 510-540
https://doi.org/10.1145/3747522
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/pages/publications/105012514748?origin=resultslist
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001579358200004