操作的意味論
Sign in to savecategory of formal programming language semantics
Wikidata facts
- Subclass of
- programming language semantics
Show 1 more fact
- Stack Exchange tag
- cstheory.stackexchange.com/tags/operational-semantics
via Wikidata · CC0
Article · 日本語
操作的意味論（そうさてきいみろん、Operational Semantics）とは、プログラムの意味を数学的に厳密に与える計算機科学の手法の一種（プログラム意味論参照）。
Abstract from DBpedia / Wikipedia · CC BY-SA