Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL

This paper explores how to implement an iteratively staged Domain-Specific Language (DSL) by embedding into a functional language. The domain is modelling and simulation of physical systems where models are expressed in terms of non-causal differential-algebraic equations; i.e., sets of constraints solved through numerical simulation. What distinguishes the authors' language is that the equational constraints are first class entities allowing for an evolving model structure characterised by repeated generation of updated constraints. Hence iteratively staged. Their DSL can thus be seen as a combined functional and constraint programming language, albeit a two-level one, with the functional language chiefly serving as a meta language.

Provided by: Springer Science+Business Media Topic: Software Date Added: Jan 2011 Format: PDF

Find By Topic