• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2012 Fiscal Year Final Research Report

Logical aspect of Control Operators and Program Extraction

Research Project

  • PDF
Project/Area Number 23650003
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Fundamental theory of informatics
Research InstitutionUniversity 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

    (4 results)

All 2013 2012 2011

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (2 results)

  • [Journal Article] 限定継続機構とfuture を持つ計算体系の透過的意味論2013

    • Author(s)
      田中麻峰,亀山幸義
    • Journal Title

      情報処理学会論文誌

    • Peer Reviewed
  • [Journal Article] Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras2012

    • 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 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
  • [Presentation] コントロールオペレータを持つ必要呼び計算体系の設計2011

    • Author(s)
      西山達也, 亀山幸義
    • Organizer
      情報処理学会第86回プログラミング研究会(PRO86)
    • Place of Presentation
      神奈川近代文学館(横浜市)
    • Year and Date
      2011-11-02

URL: 

Published: 2014-09-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi