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