Английская Википедия:Axiomatic semantics

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:SemanticsШаблон:RefImprove Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs.[1] It is closely related to Hoare logic.

Axiomatic semantics define the meaning of a command in a program by describing its effect on assertions about the program state. The assertions are logical statements—predicates with variables, where the variables define the state of the program.

See also

References

Шаблон:Reflist


Шаблон:Formalmethods-stub