täiskirje prindi

Securing verified IO programs against unverified code in F∗

autor
Andrici, Cezar-Constantin
Ciobâca, Stefan
Hriţcu, Catalin
Martínez, Guido
Rivas Gadda, Exequiel Matías
Tanter, Éric
Winterhalter, Théo
vastutusandmed
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
allikas
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 8, POPL
ilmumisaasta
leheküljed
art. 74, 34 p. : ill
leitav
ISSN
2475-1421
märkused
Bibliogr.: 92 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
Andrici, C.-C., Ciobâca, S., HriÅ£cu, C., Martínez, G., Rivas, E., Tanter, É., Winterhalter, T. Securing verified IO programs against unverified code in F∗ // Proceedings of the ACM on programming languages (2024) vol. 8, POPL, art. 74, 34 p. : ill. https://doi.org/10.1145/3632916