You’re deeper than you look

A great introductary text covering operational, axiomatic and denotational semantics, showing their application to define a simple imperative and a simple higher typed functional language. The material is well ordered and clear, and has a lot of discussion around the various points that it makes. The proofs of the equivalence of the operational and denotational semantics are a good read and there’s an interesting chapter on concurrency. It contains some interesting exercises too.
This entry was posted in Books. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s