Explore relationships

Axiomatic semantics

Semantics ofprogramming languagesLanguageLinguisticsAxiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. It is closely related to Hoare logic.

Use + to expand a branch. Click a topic name to open its summary.