コード補完はプログラミングにおいて基本的で有用な機能であり、EclipseやVisual Studioなどの開発環境において広く用いられており、コード補完が有効に用いられることはプログラミングの効率に大きな影響を及ぼす。本研究では関数型言語の核言語について型を考慮した識別子補完を問題として定式化し、それを解くアルゴリズムを考案し、そのアルゴリズムが満たす性質を示した。また、入力中の不完全なプログラムに対応するためにLR構文解析の誤り回復機能を用いた方式を考案、実装した。さらにその方式をもとにキーワード補完プログラムを一部機械的に導出する方式を考案し、Yaccのソースコードを用いて実装した。
|