WEKO3
アイテム
コントロールオペレータを持つ必要呼び計算体系の設計
https://ipsj.ixsq.nii.ac.jp/records/81626
https://ipsj.ixsq.nii.ac.jp/records/81626df84610e-99ae-481f-af93-564444161c66
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0502016.pdf (96.0 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-30 | |||||||
| タイトル | ||||||||
| タイトル | コントロールオペレータを持つ必要呼び計算体系の設計 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Designing a Call-by-need Lambda Calculus with Control Operator | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻 | ||||||||
| 著者所属 | ||||||||
| 筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Graduate School of Systems and Informating Engineering, University of Tsukuba | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Graduate School of Systems and Informating Engineering, University of Tsukuba | ||||||||
| 著者名 |
西山, 達也
× 西山, 達也
|
|||||||
| 著者名(英) |
Tatsuya, Nishiyama
× Tatsuya, Nishiyama
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本発表では，コントロールオペレータshift/resetを持つ必要呼び（call-by-need）の計算体系および抽象機械の提案を行う．コントロールオペレータはプログラムの実行順序を操作するオペレータであり，複雑な制御構造を持つプログラムや大域脱出を必要とするプログラムに対して有用である．Ariolaらにより，必要呼び計算方式を定式化した体系が提案されて以来，必要呼びに関する研究が活発に行われているが，ほとんどの研究は副作用のない計算体系を対象としている．本研究は，必要呼び体系においても，monadic style等ではなく，直接コントロールオペレータを持つdirect styleが有益であるという観測に基づきshift/resetを導入することを目的とした．体系の設計においては，Ariolaらの体系の保存的な拡張であること，計算によって自由変数が新たに生じない等の基本的性質を持つこと，などの原則を置き，自然に導かれる計算体系を得た．この計算体系に対応する抽象機械を導出し，操作的意味論を明確化した． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We present a call-by-need lambda calculus with control operators and an abstract machine for the calculus. Control operators manipulating the control flow, or the evaluation order, of a program is useful when the program has complex control structures or non-local exits. Call-by-need calculi have been actively studied since Ariola et al.'s work, however, most studies target calculi without side effects. Based on our observation that direct style programs is better than monadic style, we introduce the control operators shift and reset into a call-by-need lambda calculus. There are two guiding principles to design the calculus. First, the calculus should be a conservative extension of Ariola et al.'s calculus, and second, it satisfies fundamental properties such as subject reduction. We derive an abstract machine which corresponds to the calculus. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 5, 号 2, p. 104-104, 発行日 2012-03-30 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
