language-icon Old Web
English
Sign In
Acemap > Field > Axiomatic semantics

Axiomatic semantics

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 is an approach based on mathematical logic for proving the correctness of computer programs. It is closely related to Hoare logic.

[ "Higher-order logic", "Multimodal logic", "Denotational semantics", "Well-founded semantics" ]
Parent Topic
Child Topic
    No Parent Topic
logo
  • CCF Conference Analysis
  • Map Galaxy
  • What's New
© Copyright 2015-2020 Acemap, Inc. Shanghai Jiao Tong University.