معناشناسی (رایانه)
معناشناسی (رایانه)(semantics)
در برنامهنویسی، رابطهای که بین کلمات[۱] یا علایم[۲] و معانی[۳] آنها برقرار است. زبانهای برنامهنویسی قوانین معنایی خاصی برای خود دارند. یک عبارت برنامه میتواند از نظر قواعد[۴] درست، ولی از نقطهنظر معنایی[۵] نادرست باشد و این بدین مفهوم است که یک عبارت میتواند بهشکلی قابل قبول نوشته شود و در همان حال دارای معنای نادرستی نیز باشد.