「公理的意味論」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

今日は公理的意味論の例を二つほどやって, それから表示的意味論に進みましょう.例文帳に追加

Today we will do a couple of examples of axiomatic semantics and then move on to denotational semantics.  - コンピューター用語辞典

公理的意味論と操作的意味論との間の整合性を示す健全性定理について述べ, 証明した.例文帳に追加

A soundness theorem, showing the consistency between the axiomatic and operational semantics is stated and proved.  - コンピューター用語辞典

プログラムの公理的意味論は,演算に対する事前条件および事後条件を含むことがある．例文帳に追加

The axiomatic semantics of a program could include pre- and post-conditions for operations.  - コンピューター用語辞典