構文解析を用いたテキストベースコード補完

使用解析的基于文本的代码完成

• 批准号: 20K11752
• 负责人: 篠埜 功
• 金额: $ 2.08万
• 依托单位: Shibaura Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K11752/
• 关键词: 構文補完; LR構文解析; 構文解析器生成系; 文法; 生成規則; プログラミングツール; LR解析; 文形式; 簡約; 統合開発環境; コード補完; 構文解析; 構造エディタ; 属性文法

2022年度は、全南大学校のKwanghoon Choi教授とともに、国際会議ACM Partial Evaluation and Program Manipulation（PEPM 2021）で発表を行ったLR構文解析に基づく構文補完方式について、Haskell、C、Small Basic、PolyRPC等の言語に実際に適用したところ、問題点がいくつかあり、それらに対応するため、simple candidate, nested candidate, extended simple candidate等、補完候補の仕様をいくつか定め、それらを計算するアルゴリズムを考案し、Haskell言語で実装した。実装した補完候補計算システムは、以前から用いているEmacs Lispのプログラムを用いることにより、Emacs上でプログラム編集中にTabキーを押すことにより呼び出され、計算結果である補完候補がEmacsに送られ、popup windowとして表示され、プログラマが候補を選択するとカーソル位置に挿入される。さらに、さまざまなプログラム例に対し補完候補計算にかかる時間や計算される補完候補を確認し、整理した。複雑な仕様における補完候補を求める場合においても、約0.2秒以下で半分の補完候補が計算され、9割程度の補完候補が約1秒以内で計算されることを確認した。これらの内容を論文としてまとめ、国際論文誌へ投稿し、現在査読中である。また、査読コメントをもとに、既存研究との比較、参考文献の追加等、さまざまな点で論文の改良を行った。実装したシステムのソースコードはgithub(https://github.com/kwanghoon/{yapb,arith,smllike,sbparser,polyrpc,c11parser,haskellparser})上で公開している。

In 2022, when we introduced the syntactic completion method based on LR syntax analysis, which was presented at the International Conference of ACM Partial Evaluation and Program Manipulation (PEPM 2021), in conjunction with Professor Kwanghoon Choi of Zennan University, we actually applied it to languages ​​such as Haskell, C, Small Basic, and PolyRPC, and there were some problems, and in order to address these, we established several补充候选人的规格，例如简单的候选人，嵌套的候选人，扩展简单的候选人，并设计了一种计算算法，并用Haskell语言实施了它们。实现的完成候选计算系统是通过在EMAC上使用先前使用的EMACS LISP程序来调用的，通过在编辑程序进行编辑时按TAB键，而完成的候选候选者（即计算结果）将发送到EMACS，并显示为弹出窗口，并在程序员选择候选者时，将其插入Cursor位置。此外，检查并组织了计算候选者的完成候选者所需的时间，并组织了各种程序示例。即使在寻找互补的候选人以寻找复杂规格时，也证实，一半的互补候选者的计算时间不到约0.2秒，约90％的互补候选者在不到1秒钟的时间内计算出来。这些内容已汇编成文章，提交给国际文件，目前正在同行评审。此外，根据同行评论的评论，该论文以各种方式进行了改进，包括将其与现有研究和添加参考进行比较。实现系统的源代码发表在GitHub（https://github.com/kwanghoon/ {yapb，arith，smllike，sbparser，polyrpc，c11parser，haskellparser}）上。

项目成果

YAPB: Yet Another Parser Builder

YAPB：另一个解析器生成器

Chonnam National University(韓国)

全南国立大学（韩国）

全南大学校(韓国)

全南国立大学（韩国）

A text-based syntax completion method using LR parsing

一种基于LR解析的基于文本的语法补全方法

• 发表时间: 2021
• 作者: Isao Sasano and Kwanghoon Choi