Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms
Tomokazu Arita, Kiyonobu Tomiyama, Kensei Tsuchida, Takeo Yaku · Electronic Notes in Theoretical Computer Science · 2001
In this paper, we deal with editing tabular forms for program specifications based on a particular graph grammar HNGG [2]. First, we formalize syntax-directed editing methods by extending of the notion of the Cornell Program Synthesizer [8] to attribute NCE graph grammars (cf. [1]). Next, we discuss the algorithms of the editing methods.