Securing verified IO programs against unverified code in F∗
author
Andrici, Cezar-Constantin
Ciobâca, Stefan
Hriţcu, Catalin
Martínez, Guido
Rivas Gadda, Exequiel Matías
Tanter, Éric
statement of authorship
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
publisher
journal volume number month
vol. 8, POPL
year of publication
pages
art. 74, 34 p. : ill
ISSN
2475-1421
notes
Bibliogr.: 92 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
keyword
category (general)
TTÜ department
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.