3 ms·
> 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
by praveen9920 6y ago
> 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 6y agoI 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.