An Introduction to Grammar Convergence

Published in proceedings of iFM 2009

  • 1 December 2008 -- Final conference version uploaded
  • 19 September 2008 -- Website linked
  • 18 September 2008 -- Submitted for publication
  • 5 September 2008 -- Website created

Ralf Lämmel and Vadim Zaytsev

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.

Bibtex entry
 author = "Ralf L{\"a}mmel and Vadim Zaytsev",
 title = "{An Introduction to Grammar Convergence}",
 booktitle = "{Proceedings of 7th International Conference on integrated Formal Methods (iFM 2009)}",
 publisher = "Springer",
 series = "LNCS",
 volume = "5423",
 year = 2009,
 pages = "246--260",

Downloads and links

Please note:

The SourceForge source distribution is nothing for the faint-hearted.

Documentation is patently missing and is purposely misleading were present.

You need about 10-20 extra third-party installs; some of them pretty tricky.

Don't expect this to be easy. We are happy to help.

Website maintained by Ralf Lämmel (Email: