Дериваційна семантика описує наслідки виконання конструкцій мови за допомогою мови логіки і завдання перед- і постумов. Денотаційна семантика оперує поняттями, типовими для математики — множини, відповідності, а також судження, твердження та ін. Мови програмування низького рівня