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].
