「Operational semantics」を含む例文一覧(2)
- 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.
この図表は,構成要素間のデータフローを記述し,データフローの操作的意味論によって制御フローに制約を与える． - コンピューター用語辞典
