【公理語意學】

豐碩

【公理語意學】

 

英語翻譯：axiomaticsemantics

 

【辭書名稱】資訊與通信術語辭典

 

係將語意形式化的一種方法，用以證明程式的正確性。

 

其形式如下：設P和Q為述詞公式，S為一組動作（如某程式語言中一組敘述），則(1)P｛S｝Q，表示如果在執行S前P成立，則執行S後Q成立。

 

(2)P1{S1}Q1，P2{S2}Q2，…，Pn{Sn}Qn╱P{S}Q，表示橫線以上的都是公理或定理，則橫線以下也是定理。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary