Logical aspect of Control Operators and Program Extraction

2012 Fiscal Year Final Research Report

• 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: KAMEYAMA Yukiyoshi 筑波大学, システム情報系, 教授 (10195000)
• Project Period (FY): 2011 – 2012
• Keywords: プログラム理論

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.

Research Products

• [Journal Article] 限定継続機構とfuture を持つ計算体系の透過的意味論 (2013)
  • Author(s): 田中麻峰,亀山幸義
  • Journal Title: 情報処理学会論文誌
  • Peer Reviewed
• [Journal Article] Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras (2012)
  • Author(s): Jefferson O. Andrade, Yukiyoshi Kameyama
  • Journal Title: Special Section on Formal Approach, IEICE Transactions on Information and Systems Volume: 5 Pages: 1335-1364
  • Peer Reviewed
• [Presentation] Lazy Delimited Nondeterminism (2012)
  • 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
• [Presentation] コントロールオペレータを持つ必要呼び計算体系の設計 (2011)
  • Author(s): 西山達也, 亀山幸義
  • Organizer: 情報処理学会第86回プログラミング研究会(PRO86)
  • Place of Presentation: 神奈川近代文学館(横浜市)
  • Year and Date: 2011-11-02