sle2016/paper07

SLE 2016 paper:
Language Design and Implementation for the Domain of Coding Conventions

Boryana Goncharenko, Vadim Zaytsev

• DOI: 10.1145/2997364.2997386
• T3C: DSLs
  • It designs a DSL to specify coding conventions as first-class language artifacts.
• T1B: Static Semantics
  • Coding conventions are enforced through static constraints/semantic checks over programs.
• T5B: Language Description Analysis
  • It analyses programs/language instances against a formalised convention description.

---

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