معناشناسی عملیاتی برنامه‌نویسی
Operational Semantics of Programming
| نام درس: | معناشناسی عملیاتی برنامه‌نویسی | مقطع: | کارشناسی |
|---|---|---|---|
| پیش‌نیاز: | منطق برای علوم کامپیوتر | گروه درس: | تخصصی اختیاری |
| هم‌نیاز: | ندارد | نوع درس: | نظری |
| تعداد واحد: | 3 | تعداد ساعت: | 48 |
| حل تمرین: | دارد |
سرفصل درس:
- معناشناسی عملیاتی. درستی یابی برنامه. تایپ های بازگشتی. مروری بر انواع معناشناسی، سیستم های انتقالی، درستی یابی برنامه، تایپ های فرمال، ساختار استقرایی و درختی تجرید شده، توابع و فراخوانی توابع، معناشناسی داده، هم ارزی معناها، معناشناسی برنامه نویسی موازی.
منابع:
-
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/