Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text

Isao Sasano

8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)

Research Article

Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/icst.bict.2014.257909,
    author={Isao Sasano},
    title={Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text},
    proceedings={8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)},
    publisher={ICST},
    proceedings_a={BICT},
    year={2015},
    month={2},
    keywords={identifier completion functional languages lambda calculus parsing error recovery emacs mode},
    doi={10.4108/icst.bict.2014.257909}
}

Isao Sasano
Year: 2015
Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text
BICT
ACM
DOI: 10.4108/icst.bict.2014.257909

Isao Sasano^,*

*Contact email: sasano@sic.shibaura-it.ac.jp

Abstract

Identifier completion is a widely-used functionality in IDEs like Eclipse and editors like Emacs and vi. In this paper we present how to implement identifier completion for a core of functional languages with a focus on coping with incomplete program text based on error recovery in LR parsing. We believe the present work is a first step toward building practical identifier completion in IDEs for functional languages in modular way by reusing the code in compilers. We also give a specification of the identifier completion and argue that our solution conforms to it.

Keywords: identifier completion functional languages lambda calculus parsing error recovery emacs mode

Published: 2015-02-02
Publisher: ICST
Appears in: ACM Digital Library

: http://dx.doi.org/10.4108/icst.bict.2014.257909