ということはコード補完の論文も．と思ってCode Completion とかCode Assistとかで探してもこれ くらいしかまだ見つからない．意外とすきま研究か？

上で述べたような"Semantic Grammar" を書いておくだけで，Eclipseのプラグインを自動生成してくれる仕組みが欲しい．もちろん，次の機能は全部ついてくるものとする． リアルタイムなコンパイル コード補完 リファクタリング エラー修正候補

昨日の論文の中身：Semantic Grammar，つまり意味まで構文定義に書く方法．．．なんか普通にyaccとかに取り入れられている気もする command = variable ':=' expression ただし env :: name-> type com :: s -> s ( sはstateのこと ) exp :: s -> val var ::…