AXIOMATIC SEMANTICS


Англо-русский перевод AXIOMATIC SEMANTICS

аксиоматическая семантика. способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия, необходимые для ее применения, и условия, которые становятся выполненными после ее применения

English-Russian advanced dictionary.      Англо-Русский дополнительный словарь .