УДК 004.423.4
Семантика программ
код УДК
описание
примечания
004.423.42
Операционная семантика
004.423.43
Денотационная семантика
004.423.45
Алгебраическая семантика
004.423.46
Аксиоматическая семантика