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

Daniel A.A. Pelsmaeker; Hendrik Van Antwerpen; Eelco Visser

doi:10.1145/3359061.3362782

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

Daniel A.A. Pelsmaeker, Hendrik Van Antwerpen, Eelco Visser

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

17 Downloads (Pure)

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.

Original language	English
Title of host publication	SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications
Subtitle of host publication	Software for Humanity
Editors	Yannis Smaragdakis
Publisher	Association for Computing Machinery (ACM)
Pages	19-20
Number of pages	2
ISBN (Electronic)	9781450369923
DOIs	https://doi.org/10.1145/3359061.3362782
Publication status	Published - 20 Oct 2019
Event	2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 - Athens, Greece Duration: 20 Oct 2019 → 25 Oct 2019

Conference

Conference	2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019
Country	Greece
City	Athens
Period	20/10/19 → 25/10/19

Keywords

Constraint programming
Constraint solving
Editor services
Semantics
Spoofax
Statix

Access to Document

10.1145/3359061.3362782

3359061.3362782Final published version, 490 KB

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Towards language-parametric semantic editor services based on declarative type system specifications'. Together they form a unique fingerprint.

Cite this

Pelsmaeker, D. A. A., Van Antwerpen, H., & Visser, E. (2019). Towards language-parametric semantic editor services based on declarative type system specifications. In Y. Smaragdakis (Ed.), SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (pp. 19-20). Association for Computing Machinery (ACM). https://doi.org/10.1145/3359061.3362782

Pelsmaeker, Daniel A.A. ; Van Antwerpen, Hendrik ; Visser, Eelco. / Towards language-parametric semantic editor services based on declarative type system specifications. SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. editor / Yannis Smaragdakis. Association for Computing Machinery (ACM), 2019. pp. 19-20

@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 = "Pelsmaeker, {Daniel A.A.} and {Van Antwerpen}, Hendrik and Eelco Visser",

year = "2019",

month = oct,

day = "20",

doi = "10.1145/3359061.3362782",

language = "English",

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",

publisher = "Association for Computing Machinery (ACM)",

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",

}

Pelsmaeker, DAA, Van Antwerpen, H & Visser, E 2019, Towards language-parametric semantic editor services based on declarative type system specifications. in Y Smaragdakis (ed.), SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Association for Computing Machinery (ACM), pp. 19-20, 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019, Athens, Greece, 20/10/19. https://doi.org/10.1145/3359061.3362782

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

SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. ed. / Yannis Smaragdakis. Association for Computing Machinery (ACM), 2019. p. 19-20.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

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/10/20

Y1 - 2019/10/20

N2 - 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.

AB - 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.

KW - Constraint programming

KW - Constraint solving

KW - Editor services

KW - Semantics

KW - Spoofax

KW - Statix

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

U2 - 10.1145/3359061.3362782

DO - 10.1145/3359061.3362782

M3 - Conference contribution

SP - 19

EP - 20

BT - SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications

A2 - Smaragdakis, Yannis

PB - Association for Computing Machinery (ACM)

T2 - 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019

Y2 - 20 October 2019 through 25 October 2019

ER -

Pelsmaeker DAA, Van Antwerpen H, Visser E. Towards language-parametric semantic editor services based on declarative type system specifications. In Smaragdakis Y, editor, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Association for Computing Machinery (ACM). 2019. p. 19-20 https://doi.org/10.1145/3359061.3362782