Skip to content
Vinony
Sections
Maps
Timeline
Graph
Cosmos
Life
Culture
Innovation
People
Climate
Trends
Art
Browse
Search
Search Vinony…
⌘
K
Sign in
Category
Axiomatic semantics
page 1
axiomatic semantics
approach 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
Axiomatic semantics — category · Vinony