Answers are grounded in this paper and cite their sources.
Programs are hierarchical compositions of formulae satisfying structural and extra-structural relationships. A program editor can use knowledge of such relationships to detect and provide immediate feedback about violations of them. The Synthesizer Generator is a tool for creating such editors from language descriptions. An editor designer specifies the desired relationships and the feedback to be given when they are violated, as well as a user interface; from the specification, the Synthesizer Generator creates a full-screen editor for manipulating programs in the language.
No takes yet. Share an insight, caveat, or question.
Reps et al. (1984) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: