Anyone read: Semantics with Applications: by Nielson and Nielson?

I'm looking for langauge theory, semantics books/resources that are good for self study and one I've found is:

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

This book is pretty new (March 2007). Reading the first few pages of the first chapter looks like the authors start off at a reasonable pace. The thing that typically trips me up with resources I find online is the level of Maths. Specifically, the symbols used aren't symbols I'm used to seeing in something like calculus or real analysis.

Has anyone looked over this book? Thoughts, impressions?

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

My initial impression

My first impression from skimming this volume is that it is a nice introduction, although I wasn't encountering the material for the first time. (You can find an earlier semantics book by the same authors online here; there is some overlap with the new book.)

You should also check out Pierce's Types and Programming Languages, which features an excellent treatment of operational semantics and is also quite self-contained with regard to the background required.

It looks nourishing but is

It looks nourishing but is it appetizing? Can someone elaborate on the appetizing examples the authors present?

online version

Thanks for that, I read most of the first two chapters of the online version today at work (ahem) and I found it to be very good. The authors clearly explained the syntax they were using and as I indicated this has been the major obstacle for me. A bit more math maturity helps too I think. I will most likely pick up the print version as I prefer reading from paper.

Let us know how you find it.

Let us know how you find it.

'Tis the best

I found this to be the gentlest and clearest introduction to the subject of semantics. The book gives a very accessible formal introduction to operational, denotational and axiomatic semantics and to program analysis.

I'm surprised by the amount of ground covered by such a slim book.