Scoped Dynamic Rewrite Rules
(2001) : Eelco Visser
DOI: https://doi.org/10.1016/s1571-0661(04)00298-1
#program_transformation #rewrite_rules #scoping
#my_bibtex

Rule-Based Operational Semantics for an Imperative Language
(2007) : Florent Kirchner and Fran{\c{c}}ois-R{\'e}gis Sinot
DOI: https://doi.org/10.1016/j.entcs.2006.10.023
#operational_semantics #programming_language #rewrite_rules #rewriting #rule_lan
#my_bibtex