bn:21706407n
Noun Concept
Categories: 数学に関する記事, プログラミング言語理論, プログラム意味論, 理論計算機科学, 形式手法
JA
プログラム意味論  セマンティクス  セマンティックス  プログラミング言語の形式意味論  算譜意味論
JA
プログラム意味論(プログラムいみろん、英: program semantics)とは、計算機科学(特に理論計算機科学と分類されることもある)の一分野で、プログラミング言語の意味と計算モデルに関する分野である。 Wikipedia
English:
computer science
Definitions
Relations
Sources
JA
プログラム意味論(プログラムいみろん、英: program semantics)とは、計算機科学(特に理論計算機科学と分類されることもある)の一分野で、プログラミング言語の意味と計算モデルに関する分野である。 Wikipedia
計算機科学の一分野 Wikidata