The Formal Semantics of Programming Languages: An Introduction

درباره این کتاب

کتاب «معناشناسی صوری زبان‌های برنامه‌نویسی» تکنیک‌های ریاضی پایه مورد نیاز برای شروع مطالعه معناشناسی و منطق زبان‌های برنامه‌نویسی را ارائه می‌دهد. این تکنیک‌ها به دانشجویان اجازه می‌دهد تا قوانینی را برای استدلال درباره انواع زبان‌های برنامه‌نویسی ابداع، رسمی‌سازی و توجیه کنند. اگرچه رویکرد کتاب مقدماتی است، اما بسیاری از مباحث پوشش داده شده از تحقیقات اخیر، از جمله حوزه حیاتی همروندی (Concurrency) گرفته شده‌اند. این کتاب شامل تمرین‌های بسیاری است که از مسائل ساده تا پروژه‌های کوچک متغیر هستند.