formal semanticsとは 意味・読み方・使い方

This specifies the formal syntax and semantics of absolute URLs.例文帳に追加

この RFC では絶対 URL の形式的な文法と意味付けを仕様化しています。 - Python

Action Semantics is a framework for the formal description of programming languages.発音を聞く 例文帳に追加

アクション・セマンティクスはプログラミング言語の形式的記述のための枠組みの一つである。 - コンピューター用語辞典

If we take "linguistics" to mean any systematic study of language, then formal semantics is one of the oldest branches within linguistics.発音を聞く 例文帳に追加

「言語学」を言語の系統的な学問を意味するものとするならば、形式的意味論は言語学における最も古い分枝の一つである。 - コンピューター用語辞典

The models have a formal action semantics so that they are executable and testable and can be translated directly into code by executable UML model compilers.発音を聞く 例文帳に追加

これらのモデルは形式上のアクション・セマンティクスを持ち、そのためそれらが実行可能、試験可能であり、また実行可能UMLモデル・コンパイラによって直接にコードに翻訳され得るのである。 - コンピューター用語辞典