Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with action semantics allows complete language descriptions with exceptionally good modularity. Moreover, by specifying the descriptions in ASF+SDF, the ASF+SDF Meta-Environment can be used to provide appropriate tool support. ©2002 Published by Elsevier Science B.V.
Mosses, P. D. (2002). Action semantics and ASF+SDF - System demonstration. In Electronic Notes in Theoretical Computer Science (Vol. 65, pp. 2–8). Elsevier. https://doi.org/10.1016/S1571-0661(04)80423-7