معناشناسی عملیاتی برنامه‌نویسی
Last updated
Last updated
تخصصی اختیاری
گروه درس:
پیش‌نیاز:
نظری
نوع درس:
ندارد
هم‌نیاز:
48
تعداد ساعت:
3
تعداد واحد:
دارد
حل تمرین:
سرفصل درس:
معناشناسی عملیاتی. درستی یابی برنامه. تایپ های بازگشتی. مروری بر انواع معناشناسی، سیستم های انتقالی، درستی یابی برنامه، تایپ های فرمال، ساختار استقرایی و درختی تجرید شده، توابع و فراخوانی توابع، معناشناسی داده، هم ارزی معناها، معناشناسی برنامه نویسی موازی.
منابع:
Winskel, G., (1994), The Formal Semantics of Programming Languages An Introduction, The MIT Press,
Pierce, B.C. (2002). Types and programming languages. MIT Press
Course page of Semantics of Programming Languages, Dept. of Compuuter Science, University of Cambridge: https://www.cl.cam.ac.uk/teaching/2021/Semantics/