Axiomatic semantics

Semantics

Linguistic
Logical

Subfields
Computational Lexical (lexis, lexicology) Statistical Structural
Topics
Analysis Compositionality Context (language use) Prototype theory Force dynamics Semantic feature Semantic gap Theory of descriptions
Analysis
Latent Computational Machine-learning
Applications
Semantic file system Semantic desktop Semantic matching Semantic parsing Semantic similarity Semantic query Semantic Web Semantic wiki

Semantics of
programming languages

Types
Action Algebraic Axiomatic Categorical Concurrency Denotational Game Operational Predicate transformational
Theory
Abstract interpretation Abstract semantic graph

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.