News for hackers. Stuff that matters.

A comment on Let's make a Teeny Tiny compiler. Parent comment

Re:Let's make a Teeny Tiny compiler by praveen9920 on Sunday June 07, 2020 @02:00AM (#23445136)
> We have much better theories of semantics now than we had in the 1970s when the traditional compilers course was being laid out.

Can you recommend any books for catching up?

[ Parent | on HN ]
Re:Let's make a Teeny Tiny compiler by kragen on Monday June 08, 2020 @07:22AM (#23455589)
I don't know enough about the subject to offer confident recommendations. I really liked EOPL but it's not trying to be logically rigorous in the way CompCert is.
[ Parent | on HN ]