Model-driven software development is a promising new application area for partial evaluation. In this papers, we develop an approach to generic programming using models instead of types. The work is done in the context of Pummel, a first-order subset of Scheme with objects and monoid comprehensions. We define generic operations for validation, reading, and equality of values described by models. These generic operations are specialized to particular models by an online partial evaluator. The specializer can choose to residualize or execute imperative operations on objects, through a conditional binding time attribute. A future construct allows dynamic values to be manipulated statically, if the dynamic values are functionally dependent on static state. 1.

Model-driven software development is a promising new application area for partial evaluation. We have proposed Strategic Programming as a paradigm for model interpretation and compilation by partial evaluation. In this paper we present Pummel, a kernel language for writing generic model-based code. Pummel is a firstorder subset of Scheme with objects and monoid comprehensions. The use of Pummel is illustrated by defining generic operations for validation, reading, and equality of values described by models. These generic operations are specialized to particular models by an online partial evaluator. The specializer can choose to residualize or execute imperative operations on objects, through a conditional binding time attribute. A future construct allows dynamic values to be manipulated statically, if the dynamic values are functionally dependent on static state. 1.

Abstract. The gap between domain concepts and a brand new language can be daunting. There are techniques and guidelines for the early stages of the DSL development process, particularly domain analysis, and guidelines regarding the implementation and architecture of a DSL. However there is little work that describes how to fill the gap. This paper describes an approach for designing a DSL that guides the user from concrete examples (or execution scenarios), of the kind extracted from a domain expert, to a technology independent language definition. The process is semantics driven and can be performed using any notation that is well understood.