Table of Contents

Introduction.- Specifying Syntax.- Object-Oriented Programming with C++.- Object-Oriented Programming with Ruby.- Functional Programming in Standard ML.- Language Implementation in Standard ML.- Logic Programming.- Formal Semantics.- Appendix A: The C++ Scanner Class Implementation.- Appendix B: The Ruby Scanner Class Implementation.- Appendix C: Standard ML Basis Library.- Appendix D: SML Calculator Compiler.- Appendix E: The Factorial Program's Code.- Appendix F: Small Action Semantic Description.

Reviews

From the reviews: "This is a very nice textbook. … ‘An active learning approach’ gives a true picture of the style of presentation of the material. Each chapter ends with a list of problems to be solved … and with references to further reading. There is a web page of the book … offering supplementary material for students and teachers. The book is beneficial for self-study, too. It starts with an interesting concise survey of computers and computation history, mentioning the influence of mathematics on programming … ." (Antonín Ríha, Zentrablatt MATH, Vol. 1153, 2009) "This is an excellent undergraduate-level textbook for courses devoted to understanding programming language concepts … . exercises with solutions allow the student work either individually or in a collaborative group. … the text will permit instructors to use any class time for problem solution, discussion, and collaborative learning, including writing codes. … highly recommended to those teaching undergraduate programming language courses, and as a self directed study guide for professionals who wish to enhance their understanding of some of the newer languages … ." (E. A. Unger, ACM Computing Reviews, March, 2009)