隠れ代数
隠れ代数は、ソフトウェア工学、とりわけ並列分散オブジェクト指向プログラミングで使用するためのプログラム意味論を提供する。 ベイズエラー推計をサポートする。 

隠れ代数はジョセフ・ゴーゲンにより研究された。 並行性、分散コンピューティング、非決定性、ローカル変数など、大規模ソフトウェアベースのシステムの機能処理を行う。また、クラス、継承、属性、メソッドなどのオブジェクト指向プログラミングの処理も行う。隠れ代数は、プロセス計算と状態遷移系によるアプローチを一般化する。
Q80993
ソフトウェア工学
Concept
Q79872
オブジェクト指向プログラミング
Concept
Q1437428
プログラム意味論
Concept
None
ベイズエラー推計
UNK
Q6283491
ジョセフ・ゴーゲン
Concept
Q1414548
並行性
Concept
Q180634
分散コンピューティング
Concept
None
非決定性
UNK
Q960279
ローカル変数
Concept
Q4479242
クラス
Concept
Q212542
継承
Concept
Q2722260
属性
Concept
Q815844
メソッド
Concept
Q79872
オブジェクト指向プログラミング
Concept
Q1970286
プロセス計算
Concept
Q176468
状態遷移系
Concept
Q5752038
隠れ代数
UNK
Q5752038
隠れ代数
UNK
Q5752038
隠れ代数
UNK
use
use