Foundations and efficient implementation of reflective languages

2014 Fiscal Year Final Research Report

• 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
• 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.

Free Research Field

プログラミング言語