课题基金 / 基金详情

Calculi for Call-by-Need and Control Abstraction

Calculi for Call-by-Need and Control Abstraction
按需调用和控制抽象的演算
批准号：
25540023
负责人：
KAMEYAMA Yukiyoshi
金额：
$1.0万
依托单位：
University of Tsukuba
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2015-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-25540023/
关键词：
コントロール抽象関数型プログラム言語計算モデル型システムプログラム変換ソフトウェア基礎論プログラミング言語

项目摘要

项目成果

KAMEYAMA Yukiyoshi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
限定継続機構とfutureを持つ計算体系の透過的意味論
具有有限延续机制和未来的计算系统的透明语义
DOI： --
发表时间： 2013
期刊： 情報処理学会論文誌
影响因子： --
作者： [田中麻峰, 亀山幸義]
通讯作者： 亀山幸義
ATM without Tears: Prompt-Passing Style Transformation for Typed Delimited Control Operatrors
无泪 ATM：类型化分隔控制操作符的提示传递风格转换
DOI： --
发表时间： 2015
期刊： Electronic Proceedings of Workshop on Continuations (WoC'15)
影响因子： --
作者： [Ikuo Kobori, Yukiyoshi Kameyama]
通讯作者： Yukiyoshi Kameyama
shift/resetによる結果型変更の実現　（ポスター発表）
使用移位/重置实现结果类型更改（海报演示）
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [小堀育男, 亀山幸義, オレッグキセリョーフ]
通讯作者： オレッグキセリョーフ
Logical aspect of Control Operators and Program Extraction
  • 批准号：
    23650003
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
  • 资助金额：
    $1.5万
  • 财政年份：
    2011
  • 负责人：
    KAMEYAMA Yukiyoshi
  • 依托单位：
    University of Tsukuba
Foundation of Programming Languages for Code Generation
  • 批准号：
    21300005
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
  • 资助金额：
    $6.91万
  • 财政年份：
    2009
  • 负责人：
    KAMEYAMA Yukiyoshi
  • 依托单位：
    University of Tsukuba
Foundation of Meta-Programming
  • 批准号：
    16500004
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.46万
  • 财政年份：
    2004
  • 负责人：
    KAMEYAMA Yukiyoshi
  • 依托单位：
    University of Tsukuba
Calculus and Logic of Delimited Continuations
  • 批准号：
    13680411
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 资助金额：
    $2.11万
  • 财政年份：
    2001
  • 负责人：
    KAMEYAMA Yukiyoshi
  • 依托单位：
    University of Tsukuba
海外基金