sle2013/poster1

SLE 2013 poster:
Guided Grammar Convergence

Vadim Zaytsev

• DOI: 10.48550/arXiv.1503.08476
• T5B: Language Description Analysis
  • The main contribution is analysis and reconciliation of language descriptions (grammars) via milestones of identity/equivalence and structural matching.
• T4B: Horizontal Transformation
  • It aims to infer (bidirectional) transformation steps between different grammar representations, i.e., mappings/conversions across formalisms.
• T3A: Meta-languages
  • The entire setting is about meta-languages for syntax/grammar specification (grammars “in a broad sense”), including normalisation to a normal form.
• T3B: Transformation Languages
  • Conventional and guided convergence are explicitly framed as sequences of grammar transformation steps (including automatically inferred ones).

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.