プログラミング言語の意味論
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/07 21:50 UTC 版)
「デイナ・スコット」の記事における「プログラミング言語の意味論」の解説
このころクリストファー・ストレイチーと共同研究しており、管理職としてのプレッシャーにも関わらず、プログラミング言語の意味論の数学的基盤を築く根本的な仕事をなしとげ、この業績でスコットは最もよく知られるようになった。全体として表示的意味論へのスコットとストレイチーのアプローチを構成している。それは理論計算機科学における最も有力な業績の1つであり、計算機科学の主要な学派の基盤となった見ることもできる。中でも領域理論の定式化への貢献が大きく、再帰関数とループ制御構造を持つプログラミング言語の表示的意味論を与えることを可能にした。さらに、領域理論と彼の information system の理論を通して無限かつ連続な情報を理解する基盤を提供した。 この時期の業績から、以下のような賞を受賞している。 1990年 - ハロルド・ペンダー賞（ペンシルベニア大学） 1997年 - ショック賞（スウェーデン王立科学アカデミー） 2001年 - Bolzano Prize for Merit in the Mathematical Sciences（チェコ科学アカデミー（英語版）） 2007年 - EATCS Award
※この「プログラミング言語の意味論」の解説は、「デイナ・スコット」の解説の一部です。
「プログラミング言語の意味論」を含む「デイナ・スコット」の記事については、「デイナ・スコット」の概要を参照ください。
ウィキペディア小見出し辞書の「プログラミング言語の意味論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- プログラミング言語の意味論のページへのリンク
