Foundations and efficient implementation of reflective languages

反射语言的基础和高效实现

• 批准号: 22500025
• 负责人: ASAI Kenichi
• 金额: $ 2.75万
• 依托单位: Ochanomizu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2010
• 资助国家: 日本
• 起止时间: 2010-04-01 至 2015-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22500025/
• 关键词: 自己反映言語; 部分評価; プログラム変換; MetaOCaml

项目成果

MetaOCaml を使った自己反映言語のコンパイル

使用 MetaOCaml 编译自反射语言

• 发表时间: 2014
• 作者: 深澤 優鷹;上野 雄大;森畑 明昌;大堀 淳;浅井 健一
• 通讯作者: 浅井 健一

Reflection in Direct Style

直接风格的反思

• DOI: 10.1145/2047862.2047882
• 发表时间: 2012
• 期刊: Generative Programming and Component Engineering
• 作者: 藤井貴啓;上野雄大;森畑明昌;大堀淳;高橋俊彦;Tetsuya Kanda;Kenichi Asai
• 通讯作者: Kenichi Asai

Compiling a Reflective Language using MetaOCaml

使用 MetaOCaml 编译反射语言

• DOI: 10.1145/2658761.2658775
• 发表时间: 2014
• 期刊: International Conference on Generative Programming: Concepts and Experiences
• 作者: Asai;K.
• 通讯作者: K.

Functional un|unparsing

函数式解|解解析

• DOI: 10.1007/s10990-012-9087-2
• 发表时间: 2012
• 期刊: Higher-Order and Symbolic Computation
• 作者: Asai;K.;O. Kiselyov;and C.-c. Shan
• 通讯作者: and C.-c. Shan

例外と限定継続命令をサポートする評価器からの仮想機械とコンパイラの導出

从支持异常和有界延续指令的评估器派生虚拟机和编译器

• 发表时间: 2013
• 期刊: プログラミングおよびプログラミング言語ワークショップ論文集
• 作者: 増子 萌;浅井 健一
• 通讯作者: 浅井 健一