Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Editor services assist programmers to more effectively write and comprehend code. Implementing editor services correctly is not trivial. This paper focuses on the specification of semantics editor services, those that use the semantic model of a program. The specification of refactorings is a common subject of study, but many other semantics editor services have received little attention.
We propose a language-parametric approach to the definition of semantic editor services, using the declarative specification of the static semantics of the programming language, and constraint solving. Editor services are specified as constraint problems, and language specifications are used to ensure correctness.
We describe our approach for the following semantic editor services: reference resolution, find usages, goto subclasses, code completion, and the extract definition refactoring. We do this in the context of Statix, a constraint language for the specification of type systems. We investigate the specification of editor services in terms of Statix constraints, and the requirements on a suitable solver.
Wed 17 JulDisplayed time zone: Belfast change
10:30 - 12:10
Language Design and ImplementationResearch Papers at Mancy
Chair(s): John Wickerson Imperial College London
|Lifestate: Event-Driven Protocols and Callback Control Flow|
Shawn Meier University of Colorado, Boulder, Sergio Mover Ecole Polytechnique, Bor-Yuh Evan Chang University of Colorado BoulderDOI Media Attached
|Godot: All the Benefits of Implicit and Explicit Futures|
Kiko Fernandez-Reyes Uppsala University, Einar Broch Johnsen University of Oslo, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Ludovic Henrio CNRS, Tobias Wrigstad Uppsala UniversityDOI Media Attached
|Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications|
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of TechnologyDOI Media Attached
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU DarmstadtDOI Media Attached
|Scopes and Frames Improve Meta-Interpreter Specialization|
Vlad Vergu TU Delft, Eelco Visser Delft University of Technology, Andrew Tolmach Portland State UniversityDOI Media Attached