「Operational Semantics」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

A soundness theorem, showing the consistency between the axiomatic and operational semantics is stated and proved. 例文帳に追加

公理的意味論と操作的意味論との間の整合性を示す健全性定理について述べ, 証明した. - コンピューター用語辞典

The diagram describes data flow between components, and constrains the flow of control by the data flow operational semantics. 例文帳に追加

この図表は,構成要素間のデータフローを記述し,データフローの操作的意味論によって制御フローに制約を与える． - コンピューター用語辞典