An approach to generate text-based IDEs for syntax completion based on syntax specification.

Published in: PEPM@POPL (2020)

Keyphrases

high level
definition language
user defined
data sets
machine learning
operational semantics
precisely defined
real time
multiscale
keywords
expert systems
generation method
predicate calculus