Standard

Towards language-parametric semantic editor services based on declarative type system specifications. / Pelsmaeker, Daniel A.A.; van Antwerpen, Hendrik; Visser, Eelco.

33rd European Conference on Object-Oriented Programming, ECOOP 2019. ed. / Alastair F. Donaldson. Vol. 134 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019. 26.

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Harvard

Pelsmaeker, DAA, van Antwerpen, H & Visser, E 2019, Towards language-parametric semantic editor services based on declarative type system specifications. in AF Donaldson (ed.), 33rd European Conference on Object-Oriented Programming, ECOOP 2019. vol. 134, 26, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, United Kingdom, 15/07/19. https://doi.org/10.4230/LIPIcs.ECOOP.2019.26

APA

Pelsmaeker, D. A. A., van Antwerpen, H., & Visser, E. (2019). Towards language-parametric semantic editor services based on declarative type system specifications. In A. F. Donaldson (Ed.), 33rd European Conference on Object-Oriented Programming, ECOOP 2019 (Vol. 134). [26] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2019.26

Vancouver

Pelsmaeker DAA, van Antwerpen H, Visser E. Towards language-parametric semantic editor services based on declarative type system specifications. In Donaldson AF, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019. Vol. 134. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. 26 https://doi.org/10.4230/LIPIcs.ECOOP.2019.26

Author

Pelsmaeker, Daniel A.A. ; van Antwerpen, Hendrik ; Visser, Eelco. / Towards language-parametric semantic editor services based on declarative type system specifications. 33rd European Conference on Object-Oriented Programming, ECOOP 2019. editor / Alastair F. Donaldson. Vol. 134 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2019.

BibTeX

@inproceedings{760c6d3169b34bec88294d4758f56f28,
title = "Towards language-parametric semantic editor services based on declarative type system specifications",
abstract = "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 semantic editor services, those that use the semantic model of a program. The specification of refactorings is a common subject of study, but many other semantic editor services have received little attention. We propose a language-parametric approach to the definition of semantic editor services, using a 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 these impose on a suitable solver.",
keywords = "Code completion, Constraint solving, Editor services, Name binding, Refactoring, Reference resolution, Semantics, Statix",
author = "Pelsmaeker, {Daniel A.A.} and {van Antwerpen}, Hendrik and Eelco Visser",
year = "2019",
month = "7",
day = "1",
doi = "10.4230/LIPIcs.ECOOP.2019.26",
language = "English",
volume = "134",
editor = "Donaldson, {Alastair F.}",
booktitle = "33rd European Conference on Object-Oriented Programming, ECOOP 2019",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

}

RIS

TY - GEN

T1 - Towards language-parametric semantic editor services based on declarative type system specifications

AU - Pelsmaeker, Daniel A.A.

AU - van Antwerpen, Hendrik

AU - Visser, Eelco

PY - 2019/7/1

Y1 - 2019/7/1

N2 - 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 semantic editor services, those that use the semantic model of a program. The specification of refactorings is a common subject of study, but many other semantic editor services have received little attention. We propose a language-parametric approach to the definition of semantic editor services, using a 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 these impose on a suitable solver.

AB - 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 semantic editor services, those that use the semantic model of a program. The specification of refactorings is a common subject of study, but many other semantic editor services have received little attention. We propose a language-parametric approach to the definition of semantic editor services, using a 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 these impose on a suitable solver.

KW - Code completion

KW - Constraint solving

KW - Editor services

KW - Name binding

KW - Refactoring

KW - Reference resolution

KW - Semantics

KW - Statix

UR - http://www.scopus.com/inward/record.url?scp=85069445807&partnerID=8YFLogxK

U2 - 10.4230/LIPIcs.ECOOP.2019.26

DO - 10.4230/LIPIcs.ECOOP.2019.26

M3 - Conference contribution

VL - 134

BT - 33rd European Conference on Object-Oriented Programming, ECOOP 2019

A2 - Donaldson, Alastair F.

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

ER -

ID: 55680740