meaning phrases describing ''axioms'' apply axiomatic semantics makes distinction phrase 's meaning logical formulas describe meaning ''is'' exactly proven logic canonical example axiomatic semantics hoare logic apart choice denotational operational axiomatic approaches variations formal semantic systems arise choice supporting mathematical formalism variations variations formal semantics include following '''action semantics''' approach tries modularize denotational semantics splitting formalization process
Formal science Computer science Programming languages Program semantics