A Text-based Syntax Completion Method Using LR Parsing
This paper presents a text-based syntax completion method using an LR parser. We propose formal definitions of candidate text to be completed based on the sentential forms, and we design algorithms for computing candidates through reductions in the LR parsing. This is in contrast to the existing methods that have not clearly stated what candidates they intend to produce. This is also different from a transformation approach using an LR parser, which transforms the grammar of the programming language, a burdensome task at this moment. The advantage of our method is that LR parsers can be adopted without modification, and a syntax completion system can be built using them, without incurring efforts. We implemented the algorithms as an Emacs server to demonstrate the feasibility of their application.
Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 11:00 | Session 1PEPM at PEPM Chair(s): Torben Mogensen DIKU, University of Copenhagen Live stream: https://www.youtube.com/watch?v=fvWxWyV05v4 | ||
10:00 30mShort-paper | A Functional Abstraction of Typed Trails PEPM Kenichi Asai Ochanomizu University, Youyou Cong Tokyo Institute of Technology, Chiaki Ishio Ochanomizu University Media Attached File Attached | ||
10:30 30mResearch paper | A Text-based Syntax Completion Method Using LR Parsing PEPM Media Attached |