معنی‌شناسی (علوم رایانه)

معنی‌شناسی فرایندهایی را که یک رایانه در هنگام اجرای یک برنامه، در آن زبان بخصوص، از آن پیروی می‌کند را توصیف می‌کند. این فرایندها می‌تواند توسط توصیف رابطهٔ بین ورودی و خروجی یک برنامه نشان داده شود، همچنین می‌توان توسط توضیح‌دادن آنکه چگونه یک برنامه در سکوی مشخصی اجرا می‌شود نشان داده شود. از این رو معنی‌شناسی یک مدل محاسباتی می‌سازد.[1]

معنی‌شناسی قراردادی، برای مثال، در این موارد کاربرد دارد: کمک به نوشتن کامپایلرها، فهم بهتر آنکه برنامه چه کاری انجام می‌دهد، اثبات رفتار برنامه و غیره.[1]

عبارت if زیر

if 1 == 1 then S1 else S2

معنی‌شناسی در زبان برنامه‌نویسی (کامپایلر) تشخیص می‌دهد که تأثیر این عبارت همان S1 تنها می‌باشد.[1]

پهنه معنی‌شناسی صوری شامل این موارد است:

• تعریف مدل‌های معنایی
• ارتباط بین مدل‌های معنایی مختلف
• رابطه بین دیدگاه‌های مختلف برای معنا
• رابطه بین محاسبات و پهنه ساختارهای ریاضی اساسی مثل منطق، نظریه مجموعه‌ها، نظریه مدل، نظریه رسته‌ها و غیره.

معنی‌شناسی رابطه‌های نزدیکی با دیگر زمینه‌ها علوم رایانه مثل طراحی زبان‌های برنامه‌نویسی، نظریه نوع‌ها، کامپایلرها و مفسرها، درستی‌یابی برنامه، و وارسی مدل دارد.[1]