This seems to be a good and serious incremental step to DARPA TRACTOR(Translating All C to Rust) program.
“Don’t write, but return” sounds like the flip side of “Parse, don’t validate.”
This seems to be a good and serious incremental step to DARPA TRACTOR(Translating All C to Rust) program.
“Don’t write, but return” sounds like the flip side of “Parse, don’t validate.”