計算機科学の他の領域との関連
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/30 16:28 UTC 版)
「表示的意味論」の記事における「計算機科学の他の領域との関連」の解説
表示的意味論は領域理論を使って型を領域と解釈する。領域理論はモデル理論からの派生と見ることもでき、そこから型理論や圏論とも関連付けられる。計算機科学では、抽象解釈、プログラム検証、関数プログラミングと関係が深く、モナド(Monads)の概念などとも関連がある。また、継続の概念は、歴史的には手続き型プログラムの制御フロー(goto文)などの意味論を与えるために見出された。
※この「計算機科学の他の領域との関連」の解説は、「表示的意味論」の解説の一部です。
「計算機科学の他の領域との関連」を含む「表示的意味論」の記事については、「表示的意味論」の概要を参照ください。
- 計算機科学の他の領域との関連のページへのリンク