Axiomatic semantics
id:
axiomatic-semantics-271-16111746
title:
Axiomatic semantics
text:
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. 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.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Axiomatic_semantics
date created:
date modified:
2022-01-02T17:23:22Z
main entity:
{"identifier":"Q792533","url":"https://www.wikidata.org/entity/Q792533"}
image:
fields total:
13
integrity:
13