Towards language-parametric semantic editor services based on declarative type system specifications

Conference paper (2019)

Authors

D.A.A. Pelsmaeker Programming Languages - EEMCS , Electrical Engineering, Mathematics and Computer Science
H. van Antwerpen Programming Languages - EEMCS , Applied Sciences
Eelco Visser Programming Languages - EEMCS
Research Group
Programming Languages (EEMCS) (TU Delft)
Copyright: © 2019 D.A.A. Pelsmaeker, H. van Antwerpen, Eelco Visser
DOI
help_outline
https://doi.org/10.1145/3359061.3362782
Spoofax Statix Semantics Constraint programming Constraint solving Editor services
More Info
expand_more

Published Date

20-10-2019

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Software Technology

Research Group

Programming Languages

Abstract

New programming languages often lack good IDE support, as developing advanced semantic editor services takes additional effort. In previous work we discussed the operational requirements of a constraint solver that leverages the declarative type system specification of a language to provide language-parametric semantic editor services. In this work we describe the implementation of our solver as a two stage process: inference and search. An editor-service specific search strategy determines how and where the search is conducted, and when it terminates. We are currently implementing and evaluating this idea.

Files

3359061.3362782.pdf
(.pdf | 0.572 Mb)