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