Як і синтаксис мови, її семантику можна точно визначити. Наприклад, наступні вирази використовують різні синтакси, але спричинюють виконання однієї і тієї ж інструкції, а саме обчислити суму x та y і записати результат у змінну x: Розроблено різні способи формального опису семантики мов програмування на основі математичної логіки: Операційна семантика: Значення конструкції мови визначається обчисленнями, які вона провокує під час виконання на машині. Фокусом цієї семантики є як отримується результат обчислень.