@inproceedings{0bb0af5fcdfe4b66a08cd21d7ac2a4ec,
title = "Towards language-parametric semantic editor services based on declarative type system specifications",
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.",
keywords = "Constraint programming, Constraint solving, Editor services, Semantics, Spoofax, Statix",
author = "D.A.A. Pelsmaeker and {Van Antwerpen}, Hendrik and Eelco Visser",
year = "2019",
month = oct,
day = "20",
doi = "10.1145/3359061.3362782",
language = "English",
series = "SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity",
publisher = "Association for Computing Machinery (ACM)",
pages = "19--20",
editor = "Yannis Smaragdakis",
booktitle = "SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications",
address = "United States",
note = "2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 ; Conference date: 20-10-2019 Through 25-10-2019",
}