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
Scopus
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/pages/publications/105012514748?origin=resultslist
WOS
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
kategooria (üld)
Engineering
Tehnika
Computer science
Arvutiteadus
kategooria (alam)
Engineering. Safety, risk, reliability and quality
Tehnika. Ohutus, risk, töökindlus ja kvaliteet
Computer science. Software
Arvutiteadus. Tarkvara
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise