semantics 1. Изучение связи знака и значения. 2. Часть определения языка программирования, приписывающая смысл его конструкциям. 3. семантика, смысл (конструкции языка программирования).
Phrases with семантикам
аксиоматическая семантика axiomatic semantics Способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия необходимые для ее применения, и условия, которые становятся выполненными после ее применения.
операционная семантика operational semantics Способ задания семантики языка с помощью описания абстрактной машины, интерпретирующей его.