Reflective language systems
リフレクション (岡村、嶋田、樋口)
将来の分散システムでは、計算機システムの状態は動的に変化します。
このため、その上で動作する言語システムには、動的に変化する
システムの状態に適応し、あるいはシステムを自力で変更して、
最適な計算を継続できる機能が必要です。
このような言語システムを構築するためのメカニズムとして、
われわれはリフレクションに注目して研究を行っています。
具体的な成果としてはリフレクションを用いた言語システム、
AL-1/Dがあります。