プログラムの理論と継続
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/01 02:22 UTC 版)
Scheme以前から、プログラムの理論として継続は意識されており、SECDマシンの「D」は継続そのものである。また、手続き型(命令型)プログラミング言語の表示的意味論でも、gotoなどの意味を定めるために継続を使う。
※この「プログラムの理論と継続」の解説は、「継続」の解説の一部です。
「プログラムの理論と継続」を含む「継続」の記事については、「継続」の概要を参照ください。
- プログラムの理論と継続のページへのリンク