معناشناسی عملیاتی. درستی یابی برنامه. تایپ های بازگشتی. مروری بر انواع معناشناسی، سیستم های انتقالی، درستی یابی برنامه، تایپ های فرمال، ساختار استقرایی و درختی تجرید شده، توابع و فراخوانی توابع، معناشناسی داده، هم ارزی معناها، معناشناسی برنامه نویسی موازی.
منابع:
Winskel, G., (1994), The Formal Semantics of Programming Languages An Introduction, The MIT Press,
Pierce, B.C. (2002). Types and programming languages. MIT Press