Простое определение «семантики», как оно обычно используется в отношении языков программирования / API?
Сегодня мне пришло в голову, что, хотя я принял и не редко использую термин «семантика» при обращении к элементам языка и соглашениям об именах, у меня нет никакого смысла в формальном определении.
Моя попытка найти формальное определение в области программирования заставил мои глаза остекленеть
У меня есть ощущение его значения из контекстов, в которых я с ним сталкивался, и из его более общего использования в отношении лингвистики, и я обычно использую этот термин для обозначениязначение или выразительность языкового элемента или верность номенклатуры для намерения, поведения или функции того, что он называет.
Это определение, однако, моя собственная идея. Я был специалистом по антропологии / английскому языку и никогда не учился на курсах информатики. Это преподается в CS?
Есть ли более точное определение, которое можно свести к одному или двум утверждениям, а не к исчерпывающей и утомительной статье?