Next Page

ELAN - More Insights

The logical foundations of ELAN are described in several papers. The initial ideas are presented in  [2] where the notion of computational systems is introduced in a constraint solving context. The first design of ELAN is described in M. Vittek's PhD thesis [3] and in [4]. In this initial approach, strategies are expressed using the strategy constructors dc, dk, concatenation and iteration. The idea of a user-defined strategy language implemented in rewriting logic for ELAN is presented in [5][6][7]. A functional view of rewriting and strategies is given in  [8] and provides a functional semantics for ELAN. Ideas on meta-interpretation and partial evaluation of the strategy language are explained in [7]. Preliminary ideas to build a reflective extension of ELAN have been presented in [9].