Wed 17 Jul 2019 11:10 - 11:30 at Mancy - Language Design and Implementation Chair(s): John Wickerson

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 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:30 - 12:10: Language Design and ImplementationResearch Papers at Mancy
Chair(s): John WickersonImperial College London
10:30 - 10:50
Research paper
Lifestate: Event-Driven Protocols and Callback Control Flow
Research Papers
Shawn MeierUniversity of Colorado, Boulder, Sergio MoverEcole Polytechnique, Bor-Yuh Evan ChangUniversity of Colorado Boulder
DOI Media Attached
10:50 - 11:10
Research paper
Godot: All the Benefits of Implicit and Explicit Futures
Research Papers
Kiko Fernandez-ReyesUppsala University, Einar Broch JohnsenUniversity of Oslo, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Ludovic HenrioCNRS, Tobias WrigstadUppsala University
DOI Media Attached
11:10 - 11:30
Research paper
Towards Language-Parametric Semantic Editor Services based on Declarative Type System SpecificationsBrave New Idea
Research Papers
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
DOI Media Attached
11:30 - 11:50
Research paper
Multitier Modules
Research Papers
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
DOI Media Attached
11:50 - 12:10
Research paper
Scopes and Frames Improve Meta-Interpreter Specialization
Research Papers
Vlad VerguTU Delft, Eelco VisserDelft University of Technology, Andrew TolmachPortland State University
DOI Media Attached