An Introduction to Grammar Convergence

  • Authors:
  • Ralf Lämmel;Vadim Zaytsev

  • Affiliations:
  • Software Languages Team, The University of Koblenz-Landau, Germany;Software Languages Team, The University of Koblenz-Landau, Germany

  • Venue:
  • IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.