Vadim Zaytsev » Публикация

Поделиться публикацией:
Опубликовать в блог:
Опубликовано 2008-12-01 Опубликовано на SciPeople2009-07-26 14:47:20 ЖурналLNCS 5423, iFM 2009

An Introduction to Grammar Convergence
Ralf Lämmel, Vadim Zaytsev / Vadim Zaytsev
R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. In Proceedings of 7th International Conference on Integrated Formal Methods (iFM 2009), LNCS 5423, pages 246–260. Springer, February 2009.
Аннотация Grammar convergence is a lightweight verification method for establishing and maintaining the correspondence between grammar knowledge ingrained in all kinds of software artifacts, e.g., object models, XML schemas, parser descriptions, or language documents. The central idea is to extract grammars from diverse software artifacts, and to transform the grammars until they become syntactically identical. The present paper introduces and illustrates the basics of grammar convergence.


Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален