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 volumeConference contributionScientificpeer-review

16 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 languageEnglish
Title of host publicationSPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications
Subtitle of host publicationSoftware for Humanity
EditorsYannis Smaragdakis
PublisherAssociation for Computing Machinery (ACM)
Pages19-20
Number of pages2
ISBN (Electronic)9781450369923
DOIs
Publication statusPublished - 20 Oct 2019
Event2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 - Athens, Greece
Duration: 20 Oct 201925 Oct 2019

Conference

Conference2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019
CountryGreece
CityAthens
Period20/10/1925/10/19

Keywords

  • Constraint programming
  • Constraint solving
  • Editor services
  • Semantics
  • Spoofax
  • Statix

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