Login / Signup

Don't Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation.

Jaemin HongSukyoung Ryu
Published in: Proc. ACM Program. Lang. (2024)
Keyphrases