Towards language-parametric semantic editor services based on declarative type system specifications
Towards language-parametric semantic editor services based on declarative type system specifications
复制标题
基于声明类型系统规范的语言参数语义编辑器服务
DOI：
10.4230/lipics.ecoop.2019.26
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
E. Visser
中科院分区：
文献类型：
--
作者：
Daniël A. A. Pelsmaeker;H. V. Antwerpen;E. Visser
新的编程语言通常缺乏良好的 IDE 支持，因为开发高级语义编辑器服务需要额外的努力。在之前的工作中，我们讨论了约束求解器的操作要求，该约束求解器利用语言的声明性类型系统规范来提供语言参数语义编辑器服务。在这项工作中，我们将求解器的实现描述为两个阶段的过程：推理和搜索。编辑服务特定的搜索策略决定了搜索的进行方式、地点以及终止时间。我们目前正在实施和评估这个想法。
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.
基于约束的重构
DOI：
10.1145/3156016
发表时间：
2018
期刊：
ACM Transactions on Programming Languages and Systems (TOPLAS)
影响因子：
--
作者：
Friedrich Steimann
通讯作者：
Friedrich Steimann
强大的投影编辑
DOI：
10.1145/3136014.3136034
发表时间：
2017
期刊：
Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering
影响因子：
--
作者：
Friedrich Steimann;Marcus Frenkel;Markus Völter
通讯作者：
Markus Völter
影响因子：
--
作者：
Schaefer M
通讯作者：
Schaefer M