Stem elan$ (all stems)

18 papers:

WRLA-J-1996-BorovanskyKKM02 #logic #perspective

ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.

LDTA-2002-BrandMR #asf+sdf #logic

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology — System Demonstration (MvdB, PEM, CR), pp. 50–56.

RTA-2002-BournezK #probability

Probabilistic Rewrite Strategies. Applications to ELAN (OB, CK), pp. 252–266.

FLOPS-J1-1998-BorovanskyKKR01 #functional #semantics

Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.

WRLA-2000-BrandR #asf+sdf #parsing #tool support

ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.

WRLA-2000-KirchnerG #normalisation #proving #termination

Termination and normalisation under strategy Proofs in ELAN (HK, IG), pp. 93–120.

WRLA-2000-Ringeissen #finite #rule-based

Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.

RTA-2000-Moreau #compilation

REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.

WRLA-1998-BorovanskyC #constraints #process #theorem proving #using

Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.

WRLA-1998-BorovanskyJMR #source code

Handling ELAN rewrite programs via an exchange format (PB, SJ, PEM, CR), p. 173.

WRLA-1998-BorovanskyKKMR #bibliography

An overview of ELAN (PB, CK, HK, PEM, CR), pp. 55–70.

FLOPS-1998-BorovanskyKK #functional #semantics

A Functional View of Rewriting and Strategies for a Semantics of ELAN (PB, CK, HK), pp. 143–166.

ASF+SDF-1997-BorovanskyK #partial evaluation

Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.

ASF+SDF-1997-BorovanskyKK #logic #specification

Rewriting as a unified specification tool for logic and control: the ELAN language (PB, CK, HK), p. 3.

RTA-1997-Ringeissen #algorithm #programming language #prototype #rule-based #unification

Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language (CR), pp. 323–326.

RWLW-1996-BorovanskyKKMV #framework #logic #named

ELAN: A logical framework based on computational systems (PB, CK, HK, PEM, MV), pp. 35–50.

RWLW-1996-KirchnerM

A reflective extension of ELAN (HK, PEM), pp. 149–168.

RWLW-1996-Viry

Input/Output for ELAN (PV), pp. 51–64.