sle2018/paper09

SLE 2018 paper:
Morbig: A Static Parser for POSIX Shell

Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen

• DOI: 10.1145/3276604.3276615
• Original shorter version of MORBIG: A Static Parser for POSIX Shell (SLE 2018 SI)
• T1A: Design
  • The paper primarily contributes techniques for language definition (often syntax-related) as part of language design.
• T4A: Workbenches
  • It includes substantial tool support or infrastructure relevant for engineering/using languages.
• T5D: Formal Methods
  • It relies on formal methods (definitions/proofs/semantic properties) beyond informal description.
• T5E: Empirical Evaluation
  • It reports an empirical evaluation (experiments, study, benchmarks, or measurements).

---

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