аксиоматическая семантика. Способ описания семантики языков программирования посредством задания для каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия, необходимые для ее применения, и условия, которые становятся выполненными после ее применения.
AXIOMATIC SEMANTICS
Англо-русский перевод AXIOMATIC SEMANTICS
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012