Категорія:Семантика мов програмування Підкатегорії Ця категорія має тільки таку підкатегорію. Д Денотаційна семантика (1 С) Сторінки в категорії «Семантика мов програмування» Показано 6 сторінок цієї категорії (із 6). Семантика (інформатика)А Аксіоматична семантика Алгебраїчна семантикаД Денотаційна семантикаО Операційна семантикаП Принцип підстановки Лісков