Семантика мов програмування Існує кілька підходів до визначення семантики мов програмування. Найбільш широко поширені наступні три різновиди семантик: операційна, дериваційна (аксіоматична) і денотаційна (математична).