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

Foundation and Application of Delimited Continuations

Research Project

Project/Area Number 18500005
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionOchanomizu University

Principal Investigator

ASAI Kenichi  Ochanomizu University, 大学院・人間文化創成科学研究科, 准教授 (10262156)

Co-Investigator(Renkei-kenkyūsha) KAMEYAMA Yukiyoshi  筑波大学, 大学院・システム情報工学研究科, 准教授 (10195000)
Project Period (FY) 2006 – 2009
Project Status Completed (Fiscal Year 2009)
Budget Amount *help
¥3,890,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥690,000)
Fiscal Year 2009: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2006: ¥900,000 (Direct Cost: ¥900,000)
Keywordsプログラム理論 / 部分継続 / 情報基礎
Research Abstract

The conventional monomorphic type system for delimited continuations is extended to cope with polymorphism. The various properties of the type system are proved, such as type soundness. The type soundness is formalized using the Coq proof assistant. Ther low-level implementation of delimited continuations that copies a part of stack is shown to be systematically derivable from their definitional interpreter. Based on the technique, a compiler that produces machine code is constructed. As annaturally implemented with delimited continuation constructs.

Report

(6 results)
  • 2009 Annual Research Report   Final Research Report ( PDF )
  • 2008 Annual Research Report   Self-evaluation Report ( PDF )
  • 2007 Annual Research Report
  • 2006 Annual Research Report
  • Research Products

    (46 results)

All 2010 2009 2008 2007

All Journal Article (29 results) (of which Peer Reviewed: 28 results) Presentation (17 results)

  • [Journal Article] 限定継続を含む仮想機械導出のためのプログラム変換2010

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      コンピュータソフトウェア 16pages(掲載決定済み)

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] 型付き対称λ計算と古典論理2010

    • Author(s)
      上田やよい、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages: 34-48

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] 限定継続のためのTDPEに向けて2010

    • Author(s)
      対馬かなえ、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages: 64-76

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] shift/resetによるCaml Lightの拡張に向けて2010

    • Author(s)
      増子萌、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages: 115-129

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] 汎用的に証明木のGUIを作成する『Miki β』の開発2010

    • Author(s)
      櫻井加奈子、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages: 191-205

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] プログラム変換によるインタプリタからのコンパイラの導出2010

    • Author(s)
      木谷有沙、浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ論文集

      Pages: 206-220

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] 限定継続処理の抽象機械導出のためのプログラム変換2010

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      コンピュータソフトウェア (掲載予定)

    • NAID

      10026562906

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 型付き対称λ計算と古典論理2010

    • Author(s)
      上田やよい, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages: 34-48

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] shift/reset による Caml Light の拡張に向けて2010

    • Author(s)
      増子萌, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages: 115-129

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 汎用的に証明木のGUIを作成する『Miki β』の開発2010

    • Author(s)
      櫻井加奈子, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages: 191-205

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] プログラム変換によるインタプリタからのコンパイラの導出2010

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      第12回プログラミングおよびプログラミング言語ワークショップ

      Pages: 206-220

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Direct Implementation of Shift and Reset in the MinCaml Compiler2009

    • Author(s)
      M. Masuko, K. Asai
    • Journal Title

      Proceedings of the 2009 ACM SIGPLAN Workshop on ML

      Pages: 49-60

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] On Typing Delimited Continuations: Three New Solutions to the Printf Problem2009

    • Author(s)
      K. Asai
    • Journal Title

      Higher-Order and Symbolic Computation Vol.22,No.3(Springer)

      Pages: 275-291

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] 対称λ計算の基礎理論2009

    • Author(s)
      阪上紗里、浅井健一
    • Journal Title

      コンピュータソフトウェア Vol.26,No.2

      Pages: 3-17

    • NAID

      10025982342

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] 限定継続を含む仮想機械導出のためのプログラム変換2009

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      第1 1回プログラミングおよびプログラミング言語ワークショップ

      Pages: 149-162

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] MinCamlコンパイラにおけるshift/resetの実装2009

    • Author(s)
      増子萌, 浅井健一
    • Journal Title

      第11回プログラミングおよびプログラミング言語ワークショップ

      Pages: 163-177

    • Related Report
      2009 Final Research Report 2008 Annual Research Report 2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] 対称λ計算の基礎理論2009

    • Author(s)
      阪上紗里, 浅井健一
    • Journal Title

      コンピュータソフトウェア 26:2

      Pages: 3-17

    • NAID

      10025982342

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On Typing Delimited Continuations : Three New Solutions to the Printf Problem2009

    • Author(s)
      浅井健一
    • Journal Title

      Higher-Order and Symbolic Computation 22:3

      Pages: 275-291

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Direct Implementation of Shift and Reset in the MinCaml Compiler2009

    • Author(s)
      増子萌, 浅井健一
    • Journal Title

      2009 ACM SIGPLAN Workshop on ML

      Pages: 49-60

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 対称λ計算の基礎理論2009

    • Author(s)
      阪上紗里、浅井健一
    • Journal Title

      コンピュータソフトウェア (掲載決定済み)

      Pages: 15-15

    • NAID

      10025982342

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] 限定継続を含む仮想機械導出のためのプログラム変換2009

    • Author(s)
      木谷有沙, 浅井健一
    • Journal Title

      第11回プログラミングおよびプログラミング言語ワークショップ

      Pages: 149-162

    • Related Report
      2008 Annual Research Report 2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Strong Normalization of Polymorphic Calculus for Delimited Continuations2008

    • Author(s)
      Y. Kameyama, K. Asai
    • Journal Title

      Austrian -Jap ane se Workshop on Symbolic Computation in Software Science (scss 2008)

      Pages: 96-108

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 対称λ計算の基礎理論2008

    • Author(s)
      阪上紗里, 浅井健一
    • Journal Title

      プログラミングおよびプログラミング言語ワークショップ

      Pages: 111-125

    • NAID

      10025982342

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K. Asai, Y. Kameyama
    • Journal Title

      5th Asian Symposium on Programming Languages and Systems (LNCS 4807)

      Pages: 239-254

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] Logical Relations for Callby-value Delimited Continuations2007

    • Author(s)
      K. Asai
    • Journal Title

      A Chapter of Trends in Functional Programming Vol.6

      Pages: 63-78

    • Related Report
      2009 Final Research Report
    • Peer Reviewed
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K. Asai, Y. Kameyama
    • Journal Title

      5^<th> Asian Symposium on Programming Languages and Systems (LNCS 4807)

      Pages: 239-254

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Logical Relations for Call- by-value Delimited Continuations2007

    • Author(s)
      K. Asai
    • Journal Title

      A Chater of Trends in Functional Programming Vol. 6

      Pages: 63-78

    • Related Report
      2008 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Polymorphic Delimited Continuations2007

    • Author(s)
      K: Asai, Y. Kameyama
    • Journal Title

      5th Asian Symposium on Programming Languages and Systems LNCS 4807

      Pages: 239-254

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Logical Relations for Call-by-value Delimited Continuations2007

    • Author(s)
      Asai, K.
    • Journal Title

      a chapter of Trends in Functional Programming (To appear)

      Pages: 63-78

    • Related Report
      2006 Annual Research Report
  • [Presentation] 簡約過程の一般的可視化システムの実装2010

    • Author(s)
      石川ちひろ、浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県、琴平温泉
    • Year and Date
      2010-03-04
    • Related Report
      2009 Final Research Report
  • [Presentation] MetaOCamlを使った部分評価器の実装2010

    • Author(s)
      岩井亜里紗、浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県、琴平温泉
    • Year and Date
      2010-03-04
    • Related Report
      2009 Final Research Report
  • [Presentation] 簡約過程の一般的可視化システムの実装2010

    • Author(s)
      石川ちひろ, 浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県琴平温泉
    • Year and Date
      2010-03-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] 論理関係によるスタック導入の正当性の証明2010

    • Author(s)
      新井祐美、浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県、琴平温泉
    • Year and Date
      2010-03-03
    • Related Report
      2009 Final Research Report
  • [Presentation] 論理関係によるスタック導入の正当性の証明2010

    • Author(s)
      新井祐美, 浅井健一
    • Organizer
      第12回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      香川県琴平温泉
    • Year and Date
      2010-03-03
    • Related Report
      2009 Annual Research Report
  • [Presentation] Type Soundness of Lambda-Calculus with Shift/Reset and Let-Polymorphism2009

    • Author(s)
      N. Hirota, K. Asai
    • Organizer
      4th Informal ACM SIGPLAN Workshop on Mechanizing Metatheory
    • Place of Presentation
      イギリス、エジンバラ
    • Year and Date
      2009-09-04
    • Related Report
      2009 Final Research Report
  • [Presentation] Type Soundness of Lambda-Calculus with Shift/Reset and Let-Polymorphism2009

    • Author(s)
      Noriko Hirota, Kenichi Asai
    • Organizer
      Workshop on Mechanizing Metatheory
    • Place of Presentation
      イギリス、エジンバラ
    • Year and Date
      2009-09-04
    • Related Report
      2009 Annual Research Report
  • [Presentation] 証明木作成のためのGUI構築2009

    • Author(s)
      櫻井加奈子、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県、高山市
    • Year and Date
      2009-03-10
    • Related Report
      2009 Final Research Report 2008 Annual Research Report
  • [Presentation] 型付き対称λ計算における論理積型と論理和型の導入2009

    • Author(s)
      上田やよい、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県、高山市
    • Year and Date
      2009-03-10
    • Related Report
      2009 Final Research Report 2008 Annual Research Report
  • [Presentation] 再帰と限定継続を扱うpolyvariantな部分評価に向けて2009

    • Author(s)
      対馬かなえ、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県、高山市
    • Year and Date
      2009-03-10
    • Related Report
      2009 Final Research Report 2008 Annual Research Report
  • [Presentation] 証明木作成のためのGUI構築2009

    • Author(s)
      櫻井加奈子、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県, 高山市
    • Year and Date
      2009-03-10
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] 型付き対称λ計算における論理積型と論理和型の導入2009

    • Author(s)
      上田やよい、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県, 高山市
    • Year and Date
      2009-03-10
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] 再帰と限定継続を扱うpolyvariantな部分評価に向けて2009

    • Author(s)
      対馬かなえ、浅井健一
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      岐阜県, 高山市
    • Year and Date
      2009-03-10
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] Locally Nameless手法を使った継続計算に対する型システムの健全性の証明2008

    • Author(s)
      廣田知子、浅井健一
    • Organizer
      第10回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      宮城県、仙台市
    • Year and Date
      2008-03-06
    • Related Report
      2009 Final Research Report
  • [Presentation] Locally Nameless手法を使った継続計算に対する型システムの健全性の証明2008

    • Author(s)
      廣田知子、浅井健一
    • Organizer
      第10回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      宮城県, 仙台市
    • Year and Date
      2008-03-06
    • Related Report
      2008 Self-evaluation Report
  • [Presentation] 継続計算のための仮想機械の導出2008

    • Author(s)
      木谷有沙、浅井健一
    • Organizer
      第10回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      宮城県、仙台市
    • Year and Date
      2008-03-05
    • Related Report
      2009 Final Research Report
  • [Presentation] 継続計算のための仮想機械の導出2008

    • Author(s)
      木谷有沙、浅井健一
    • Organizer
      第10回プログラミングおよびプログラミング言語ワークショップ
    • Place of Presentation
      宮城県, 仙台市
    • Year and Date
      2008-03-05
    • Related Report
      2008 Self-evaluation Report

URL: 

Published: 2006-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi