Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms
From MaRDI portal
Publication:4921557
DOI10.1016/S1571-0661(04)00180-XzbMath1262.68075OpenAlexW1985262753MaRDI QIDQ4921557
Takeo Yaku, Kiyonobu Tomiyama, Tomokazu Arita, Kensei Tsuchida
Publication date: 10 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00180-x
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
This page was built for publication: Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms