3 ms·
"Where is a good place to get started with studying formal semantics?" I found "Design Concepts in Programming Languages" by Gifford and Turbak (http://www.am
by plinkplonk 17y ago
"Where is a good place to get started with studying formal semantics?"
I found "Design Concepts in Programming Languages" by Gifford and Turbak (http://www.amazon.com/Design-Concepts-Programming-Languages-Franklyn/dp/0262201755 http://www.amazon.com/Design-Concepts-Programming-Languages-...) well written and comprehensive. ( I am self taught too! :-))
- silentbicycle 17y agoI'll look into it, thanks! Branching off the links that fadmmatt posted above, I found a booklist (http://matt.might.net/articles/books-papers-materials-for-graduate-students/#pl http://matt.might.net/articles/books-papers-materials-for-gr...) with a PDF of Nielson & Nielson's Semantics with Applications (http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.pdf http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.pdf). That looks good, too. It sounds like I'm used to reading operational semantics, but have usually seen them specified in S-Expressions (as mini-interpreters in Scheme).