2026-10-16T23:44:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:24303 2025-12-12T14:04:33Z ddc:004 open_access

Is There Hypothesis for Attribute Grammars? Rodrigues, Emanuel Macedo, José Nuno Saraiva, João Property-based Testing Attribute Grammars Strategic Term Rewriting Software testing is essential to ensure software reliability and functionality. Numerous testing techniques have been proposed, and most programming languages provide built-in support for testing. However, these techniques have yet to be integrated into the powerful attribute grammar formalism. This paper introduces a method to incorporate property-based testing into attribute grammars. We achieve this by embedding attribute grammars in Python which is combined with its powerful Hypothesis property-based testing framework. To validate our approach, we express properties of scope rules in a (nested) block-structured language, commonly found in many (functional) languages. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Emanuel Rodrigues and José Nuno Macedo and João Saraiva 2025 Is Part Of OASIcs, Volume 134, Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming (Programming 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.Programming.2025.19 urn:nbn:de:0030-drops-243036 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Programming.2025.19 eng https://creativecommons.org/licenses/by/4.0/legalcode