sle2025/paper02

SLE 2025 paper:
Property-based Testing of Attribute Grammars

José Nuno Macedo, Marcos Viera, João Saraiva

• DOI: 10.1145/3732771.3742710
• T5C: Testing
  • The main contribution is a testing technique (property-based testing) applied to language definitions.
• T3A: Meta-languages
  • Attribute grammars are a classic meta-language for defining analyses/semantics, and the work extends how they are used.
• T4A: Workbenches
  • It presents an implementation framework (strategies) to support running these tests in practice.

---

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