CfPBoK
by
Vadim Zaytsev
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.