Language-parametric static semantic code completion

Title

Language-parametric static semantic code completion

 Author

Pelsmaeker, D.A.A. (TU Delft Programming Languages) ORCID 0000-0003-0196-0567
van Antwerpen, H. (TU Delft Programming Languages) ORCID 0000-0001-5117-0921
Poulsen, C.B. (TU Delft Programming Languages) ORCID 0000-0003-0622-7639
Visser, Eelco (TU Delft Programming Languages) ORCID 0000-0002-7384-3370

 Date

2022

 Abstract

Code completion is an editor service in IDEs that proposes code fragments for the user to insert at the caret position in their code. Code completion should be sound and complete. It should be sound, such that it only proposes fragments that do not violate the syntactic and static semantic rules of the language. It should be complete, such that it proposes all valid fragments so that code completion can be used to construct all programs. To realize soundness and completeness, code completion should be informed by the language definition. In practice, the implementation of code completion is an additional effort in the implementation of a language.

In this paper, we develop a framework for language-parametric semantic code completion for statically typed programming languages based on their specification of syntax and static semantics, realizing the implementation of a code completion editor service with minimal additional effort. The framework builds on the SDF3 syntax definition formalism and the Statix static semantics specification language. The algorithm reinterprets the static semantics definition to find sound expansions of predicates and solutions to name resolution queries in scope graphs. This allows a search strategy to explore the solution space and synthesize completion proposals. The implementation of the strategy language and code completion algorithm extend the implementation of the Statix solver, and can be used for any language defined in Statix. We demonstrate soundness and completeness of the completion proposal synthesis, and evaluate its performance.

 To reference this document use:

http://resolver.tudelft.nl/uuid:a5b056bb-c633-4195-acac-b9a35e2c5387

 DOI

https://doi.org/10.1145/3527329

 ISSN

2475-1421

 Source

Proceedings of the ACM on Programming Languages, 6 (OOPSLA1), 1-30

 Part of collection

Institutional Repository

 Document type

journal article

 Rights

© 2022 D.A.A. Pelsmaeker, H. van Antwerpen, C.B. Poulsen, Eelco Visser
Files
PDF 3527329.pdf 3.1 MB
Close viewer