DISTRIBUTION STATEMENT A 7000(1^.0" ^ UA Approved for Public Release LUUUUTUJ I T V r;;- •.:■'; ■-on Unlimited

The impact of Domain Specific Languages (DSLs) on software design is considerable. They allow programs to be more concise than equivalent pro-grams written in a high-level programming lan-guages. They relieve programmers from making decisions about data-structure and algorithm de-sign, and thus allows solutions to be constructed quickly. Because DSL's are at a higher level of abstraction they are easier to maintain and reason about than equivalent programs written in a high-level language, and perhaps most importantly they can be written by domain experts rather than pro-grammers. The problem is that DSL implementation is costly and prone to errors, and that high level approaches to DSL implementation often produce inefficient systems. By using two new programming language mechanisms, program staging and monadic abstrac-tion, we can lower the cost of DSL implementations by allowing reuse at many levels. These mechanisms provide the expressive power that allows the con-struction of many compiler components as reusable libraries, provide a direct link between the seman-tics and the low-level implementation, and provide the structure necessary to reason about the imple-mentation