kompaktne vaade prindi

SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★

autor
Andrici, Cezar-Constantin
Ahman, Danel
Hritcu, Catalin
Icleanu, Ruxandra
Martinez, Guido
Rivas, Exequiel
Winterhalter, Theo
vastutusandmed
Cezar-Constantin Andrici, Danel Ahman, Cătălin Hriţcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
allikas
Proceedings of the ACM on Programming Languages
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 9, no. ICFP
ilmumisaasta
2025
leheküljed
art 253, p. 510-540
leitav
https://doi.org/10.1145/3747522
märksõna
verifikatsioon
viited
võtmesõna
secure compilation
formal verification
proof assistants
monotonic state
ISSN
2475-1421
märkused
Bibliogr.: 62 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Andrici, C.-C., Ahman, D., Hriţcu, C., Icleanu, R., Martinez, G., Rivas, E., Winterhalter, T. SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★ // Proceedings of the ACM on Programming Languages (2025) vol. 9, no. ICFP, art 253, p. 510-540. https://doi.org/10.1145/3747522