![]() |
axiomatic semantics | Англо-Русский словарь1) - аксиоматическая семантика. способ 2) - описания семантики языков программирования посредством задания для 3) - каждой элементарной конструкции языка предусловий и аксиом, определяющих, соответственно, условия, необходимые для ее применения, и условия, которые становятся выполненными после ее применения |
|