Previous Page
Next Page

ELAN - Implementation

The ELAN manual for the version 3.0 is available as [10]. Following  [11]that describes the implementation of the first ELAN compiler, compilation techniques for Associative-Commutative normalisation are studied in [15], while more details on compilation of matching are given in [16], and non-determinism management in [19]. The REF format and its use for implementation are described in [20].