TY - GEN
T1 - An approach to generate text-based IDEs for syntax completion based on syntax specification
AU - Sasano, Isao
N1 - Funding Information:
We would like to thank Fritz Henglein and an anonymous reviewer of a domestic workshop PPL 2019 in Japan, both for suggesting the use of sentential forms in LR parsing. We would also like to thank Kwanghoon Choi for discussing the use of the libraries, recently developed by him for writing LR parsers. Further, we would like to thank the anonymous reviewers of PEPM 2020 for their many helpful comments, including one on the LRC system and one on the usage of attribute grammars to uniformly achieve both syntax and identifier completion. We would also like to thank João Saraiva for answering questions about LRC and denoting a paper that mentions editors generated by LRC. This work was partially supported by JSPS KAKENHI under Grant Number 16K00106.
Publisher Copyright:
© 2020 Copyright held by the owner/author(s). Publication rights licensed to ACM.
PY - 2020/1/20
Y1 - 2020/1/20
N2 - The integrated development environments provide several types of functionalities. Herein, we intend to generate a syntax completion functionality from the grammar of the target language as long as the sentences of the language can be analyzed via LR parsing.We specify the syntax candidates to be completed based on the sentential forms and reductions in LR parsing. Furthermore, we implement a prototype system for computing the syntax candidates to be completed at the cursor position in the source code written in a small subset of Standard ML; the system only uses the program text up to the cursor position to ensure simplicity.
AB - The integrated development environments provide several types of functionalities. Herein, we intend to generate a syntax completion functionality from the grammar of the target language as long as the sentences of the language can be analyzed via LR parsing.We specify the syntax candidates to be completed based on the sentential forms and reductions in LR parsing. Furthermore, we implement a prototype system for computing the syntax candidates to be completed at the cursor position in the source code written in a small subset of Standard ML; the system only uses the program text up to the cursor position to ensure simplicity.
KW - Integrated development environments
KW - LR parsing
KW - Reduction
KW - Sentential forms
KW - Syntax completion
UR - http://www.scopus.com/inward/record.url?scp=85079346046&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85079346046&partnerID=8YFLogxK
U2 - 10.1145/3372884.3373158
DO - 10.1145/3372884.3373158
M3 - Conference contribution
AN - SCOPUS:85079346046
T3 - PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020
SP - 38
EP - 44
BT - PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020
A2 - Poulsen, Casper Bach
A2 - Hu, Zhenjiang
PB - Association for Computing Machinery, Inc
T2 - 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2020, with the Annual Symposium on Principles of Programming Languages, POPL 2020
Y2 - 20 January 2020
ER -