Aïssata Maiga, Cyrille Artho, Florian Gilcher, Yannick Moy. Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library. In Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023. pages 37-47, ACM, 2023. [doi]
Abstract is missing.