Securing verified IO programs against unverified code in F∗
Andrici, Cezar-Constantin
;
Ciobâca, Stefan
;
Hriţcu, Catalin
;
Martínez, Guido
;
Rivas Gadda, Exequiel Matías
;
Tanter, Éric
;
Winterhalter, Théo
Proceedings of the ACM on programming languages
2024
/
art. 74, 34 p. : ill
https://doi.org/10.1145/3632916
https://www.scopus.com/sourceid/21101020042
https://www.scopus.com/pages/publications/85183076604?inward
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2024
https://www.webofscience.com/wos/woscc/full-record/WOS:001170729400075