Ownership guided C to Rust translation. (English) Zbl 07798111
Enea, Constantin (ed.) et al., Computer aided verification. 35th international conference, CAV 2023, Paris, France, July 17–22, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13966, 459-482 (2023).
MSC:
68N15