> We have much better theories of semantics now than we had in the 1970s when th... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		praveen9920 on June 7, 2020 \| parent \| context \| favorite \| on: Let's make a Teeny Tiny compiler > 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?

kragen on June 8, 2020 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact