axiomatic semantics
Sign in to saveapproach based on mathematical logic for proving the correctness of computer programs; closely related to Hoare logic; define the meaning of a command in a program by describing its effect on assertions about the program state
Connections
programming language semantics
Entity
language
Entity
linguistics
Entity
International Standard Book Number
Entity
mathematical logic
Entity
semantics
Entity
lexicology
Entity
context
Entity
Semantic Web
Entity
formal methods
Entity
prototype theory
Entity
assertion
Entity
denotational semantics
Entity
lexical semantics
Entity
Hoare logic
Entity
operational semantics
Entity
semantics of logic
Entity
latent semantic analysis
Entity
correctness
Entity
semantic wiki
Entity