継続つきプログラミング言語と線形論理

• Item type: SIG Technical Reports(1)
• 公開日: 1991-04-26
• タイトル: 継続つきプログラミング言語と線形論理
• タイトル / 言語: en
• タイトル: PROGRAMMING LANGUAGE WITH CONTINUATION AND LINEAR LOGIC
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 京都大学数理解析研究所
• 著者所属(英): en
• 著者所属(英): Kyoto University Research Institute for Mathematical Sciences
• 著者名: 西崎, 真也
• 著者名(英): Shin-Ya, Nishizaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 線形論理の枠組のもとで継続つきプログラムについて考察した。継続つきプログラミング言語から線形論理への変換を定義し、継続プリィミティブ call/cc が証明ネットで記述でき、線形論理が継続つきのプログラムを記述する能力があることを示した。継続つきプログラムの特徴として、計算結果が評価戦略に依存することがあるが、この変換は評価戦略に関する情報を付加する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The program with continuation is studied under the framework of linear logic. The transformation from programming language with continuation to linear logic is defined, and we show that program with continuation can be described by linear logic. It is the most remarkable feature of program with continuation that the result of a program with continuation is dependent on a evaluation strategy. This transrormation add the information of evaluation strategy to the program.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1991, 号 32(1991-PRO-001), p. 21-28, 発行日 1991-04-26
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会