←back to thread

Compiling C to Safe Rust, Formalized

(arxiv.org)
278 points love2read | 1 comments | 20 Dec 24 23:30 UTC | HN request time: 0.233s | source
Show context
ActorNightly[dead post] ◴[21 Dec 24 03:29 UTC] No.42477322[source]▶
[flagged]
1. Ar-Curunir ◴[21 Dec 24 06:36 UTC] No.42477907[source]▶
What steps are you talking about? lambda calculus is one particular way to formalize program semantics, which is appropriate when talking about... program formalization