Semantics with Applications: An Appetizer (Paperback)

Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these approaches, stresses their relationship by formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science. Historically important application areas are presented together with some exciting potential applications. The text investigates the relationship between various methods and describes some of the main ideas used, illustrating these by means of interesting applications. The book provides a rigorous introduction to the main approaches to formal semantics of programming languages.

語義學將在未來軟體系統和特定領域語言的發展中扮演重要角色。本書提供了對這些方法背後基本思想的必要介紹，強調它們之間的關係，通過制定和證明相關定理，並展示語義學在計算機科學中的應用。歷史上重要的應用領域與一些令人興奮的潛在應用一起呈現。本文探討了各種方法之間的關係，並描述了一些主要的思想，通過有趣的應用來說明這些思想。本書嚴謹地介紹了編程語言形式語義學的主要方法。