Final Report Summary - SCALPL (ScalPL : A Scalable Programming Language)
We have advanced the state of the art in the design and implementation of so-called domain-specific languages, which are formal languages that are tailored to a particular domain of discourse. Such languages can make software developers and in fact ordinary employees significantly more productive, because software can be specified on a high level of abstraction that is appropriate for the domain. In our research we have focussed on methods to make domain-specific languages easier to implement, compose and reason about. We have developed some highly influential concepts to do so, including the SugarJ language framework, and various influential programming techniques for domain-specific languages.