In this textbook the author focuses on describing the semantics of programming languages at a deep level. The topics covered include programming languages, operational semantics, typing, block structure, and concurrency. The book is suitable for undergraduate and graduate courses in computer science and electronics engineering. weiterlesen