AXIOMATIC SEMANTICS


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

аксиоматическая семантика. способ

описания семантики языков программирования посредством задания для

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

соответственно, условия, необходимые для ее применения, и условия, которые становятся

выполненными после ее применения

English-Russian dictionary Tiger.      Англо-Русский словарь Tiger.