Foundations and efficient implementation of reflective languages

• Project/Area Number: 22500025
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Ochanomizu University
• Principal Investigator: ASAI Kenichi お茶の水女子大学, 大学院人間文化創成科学研究科, 准教授 (10262156)
• Project Period (FY): 2010-04-01 – 2015-03-31
• Project Status: Completed (Fiscal Year 2014)
• Budget Amount: ¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000); Fiscal Year 2014: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2012: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2011: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000); Fiscal Year 2010: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
• Keywords: 自己反映言語 / 部分評価 / プログラム変換 / MetaOCaml

Outline of Final Research Achievements

The cause of the level-shifting anomaly is identified. The anomaly can be avoided by implementing the reflective language in the defunctionalized continuation-passing style while keeping the user-observable interpreter in direct style. Using this method, the reflective language is implemented in MetaOCaml, which achieves compilation of the user-defined metalevel interpreter. On the other hand, compilation under the modified metalevel interpreter is difficult, due to the lack of the binding-time analysis in MetaOCaml.

Research Products

• [Journal Article] Compiling a Reflective Language using MetaOCaml (2014)
  • Author(s): Asai, K.
  • Journal Title: International Conference on Generative Programming: Concepts and Experiences Volume: - Pages: 113-122
  • DOI: 10.1145/2658761.2658775
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] 例外と限定継続命令をサポートする評価器からの仮想機械とコンパイラの導出 (2013)
  • Author(s): 増子 萌、浅井 健一
  • Journal Title: プログラミングおよびプログラミング言語ワークショップ論文集 Volume: 15
  • Peer Reviewed
• [Journal Article] Functional un|unparsing (2012)
  • Author(s): Asai, K., O. Kiselyov, and C.-c. Shan
  • Journal Title: Higher-Order and Symbolic Computation Volume: Vol. 24, Issue 4 Issue: 4 Pages: 311-340
  • DOI: 10.1007/s10990-012-9087-2
  • Peer Reviewed
• [Journal Article] Reflection in Direct Style (2012)
  • Author(s): Kenichi Asai
  • Journal Title: Generative Programming and Component Engineering Volume: 10 Pages: 97-106
  • DOI: 10.1145/2047862.2047882
  • Peer Reviewed
• [Journal Article] Functional Derivation of a Virtual Machine for Delimited Continuations (2010)
  • Author(s): Kenichi Asai, Arisa Kitani
  • Journal Title: Principles and Practice of Declarative Programming Pages: 87-97
  • Peer Reviewed
• [Presentation] MetaOCaml を使った自己反映言語のコンパイル (2014)
  • Author(s): 浅井 健一
  • Organizer: 第１６回プログラミングおよびプログラミング言語ワークショップ
  • Place of Presentation: 阿蘇の司 ビラパークホテル(熊本県阿蘇市)
• [Presentation] データベースを用いたMikiβの拡張に向けて (2013)
  • Author(s): 中野祥、浅井健一
  • Organizer: プログラミングおよびプログラミング言語ワークショップ
  • Place of Presentation: 会津若松
• [Presentation] 探索アルゴリズムのための非決定性オペレータの実装 (2011)
  • Author(s): 金子ちひろ、浅井健一
  • Organizer: 第13回プログラミングおよびプログラミング言語ワークショップ
  • Place of Presentation: 北海道札幌市
  • Year and Date: 2011-03-09