Eelco Visser. Understanding Software through Linguistic Abstraction. Technical Report TUD-SERG-2013-017, Software Engineering Research Group, Delft University of Technology, Delft, The Netherlands, October 2013.
In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that systematic application, we need to capture our understanding of the domain of linguistic abstraction itself in higher-level meta languages. The argument is illustrated with examples from the SDF, Stratego, Spoofax, and WebDSL projects in which I explore these ideas.