Understanding software through linguistic abstraction

Eelco Visser. Understanding software through linguistic abstraction. Science of Computer Programming, 97:11-16, 2015. [doi]


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.

Technical report

The following is a technical report version of this publication:


The following are older variants of this publication: