Article ID Journal Published Year Pages File Type
433294 Science of Computer Programming 2015 6 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
,