семантика в программировании

Ответ от Илья Павлов[гуру]
Если совсем просто, семантика в программировании определяет смысл (полезность) того или иного набора команд (выражения) . Обратите внимание, именно смысл, а не грамматическую правильность. То есть, выражение: int a = 0; if (a) { <код 1> } else { <код 2> } Условие IF семантически неверно, поскольку при любом раскладе всегда выполнится КОД 2. То есть, его можно оптимизировать до: int a = 0; <код 2> З. Ы. : код представлен на С++