Documents

DOI

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

    Research areas

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

ID: 67898888