Action Semantics and ASF+SDF: System Demonstration

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.

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: Peter D. Mosses
• Keywords: Complete Language Descriptions, ENTCS 2002, Tool Support, Unrestricted Context-free Grammars