Ownership Guided C to Rust Translation

This is a WIP will be organized later.

Compiling C to Safe Rust Formalized https://arxiv.org/pdf/2412.15042

They work with something called mini C and they are aiming to translate mini C to safe Rust directly.

https://members.tripod.com/walterjohnson_3/minic_compiler.htm#:~:text=MiniC%20(or%20Mini%2DC),all%20there%20is%20to%20MiniC. I am not sure how updated this is.

What is an environment here?

They convert arrays into slices.

Their transaltion is always to safe Rust…. If they cannot translate something to safe Rust, they give up.

What is this split Tree thing?