An Approach to Generate Text-Based IDEs for Syntax Correction based on Syntax Specification

POPL 2020