Logical aspect of Control Operators and Program Extraction
Project/Area Number |
23650003
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Multi-year Fund |
Research Field |
Fundamental theory of informatics
|
Research Institution | University of Tsukuba |
Principal Investigator |
|
Project Period (FY) |
2011 – 2012
|
Project Status |
Completed (Fiscal Year 2012)
|
Budget Amount *help |
¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
Keywords | プログラム理論 / ソフトウェア基礎論 / プログラム言語 / 型システム / コントロール・オペレータ / プログラム抽出 / コントロールオペレータ / 限定継続 / Curry-Howardの対応 / ラムダ計算 / CPS変換 |
Research Abstract |
We study delimited-control operators in the context of call by need evaluation and parallel computation from logical viewpoints. We have shown that, encapsulated search in a certain kind of logic (or functional logic) programming languages is simulated by delimited-control operators in call-by-need functional programming languages. We have also proved that under a suitable restriction, parallel programming languages with control operators have transparent semantics, which means that adding or eliminating parallel primitives has no impact on the meaning of programs.
|
Report
(3 results)
Research Products
(8 results)
-
-
-
-
-
[Presentation] Lazy Delimited Nondeterminism2012
Author(s)
Sebastian Fischer, Michael Hanus, Yukiyoshi Kameyama, Chung-chieh Shan, Naoki Takashima
Organizer
International Workshop on Functional and (Constraint) Logic Programming (WFLP 2012), Work-in-Progress session
Place of Presentation
名古屋大学
Year and Date
2012-05-29
Related Report
-
[Presentation] Lazy Delimited Nondeterminism2012
Author(s)
Sebastian Fischer, Michael Hanus, Yukiyoshi Kameyama, Chung-chieh Shan, Naoki Takashima
Organizer
International Workshop on Function and Constraint Logic Programming (WFLP 2012)
Place of Presentation
名古屋大学
Related Report
-
-