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.
 
Advertisements
This entry was posted in Books. Bookmark the permalink.

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Google+ photo

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

Connecting to %s