УДК 004.423.4

Семантика программ


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