Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Mon 18 Jan 2021 10:30 - 11:00 at PEPM - Session 1 Chair(s): Torben Mogensen

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 Jan

Displayed 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
30m
Short-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
30m
Research paper
A Text-based Syntax Completion Method Using LR Parsing
PEPM
Isao Sasano Shibaura Institute of Technology, Kwanghoon Choi Chonnam National University
Media Attached