← Back to context

Comment by naasking

1 hour ago

> I think you at least need a formal semantics for both C

https://en.wikipedia.org/wiki/CompCert

0 comments

naasking

Reply

No comments yet

Contribute on Hacker News ↗