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.
Original language | English |
---|---|
Title of host publication | SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications |
Subtitle of host publication | Software for Humanity |
Editors | Yannis Smaragdakis |
Publisher | Association for Computing Machinery (ACM) |
Pages | 19-20 |
Number of pages | 2 |
ISBN (Electronic) | 9781450369923 |
DOIs | |
Publication status | Published - 20 Oct 2019 |
Event | 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 - Athens, Greece Duration: 20 Oct 2019 → 25 Oct 2019 |
Conference
Conference | 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 |
---|---|
Country | Greece |
City | Athens |
Period | 20/10/19 → 25/10/19 |
Keywords
- Constraint programming
- Constraint solving
- Editor services
- Semantics
- Spoofax
- Statix