BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
rewrit (7)
strategi (5)
logic (4)
base (4)
system (3)

Stem elan$ (all stems)

18 papers:

WRLAWRLA-J-1996-BorovanskyKKM02 #logic #perspective
ELAN from a rewriting logic point of view (PB, CK, HK, PEM), pp. 155–185.
LDTALDTA-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.
RTARTA-2002-BournezK #probability
Probabilistic Rewrite Strategies. Applications to ELAN (OB, CK), pp. 252–266.
FLOPSFLOPS-J1-1998-BorovanskyKKR01 #functional #semantics
Rewriting with Strategies in ELAN: A Functional Semantics (PB, CK, HK, CR), pp. 69–95.
WRLAWRLA-2000-BrandR #asf+sdf #parsing #tool support
ASF+SDF parsing tools applied to ELAN (MvdB, CR), pp. 138–157.
WRLAWRLA-2000-KirchnerG #normalisation #proving #termination
Termination and normalisation under strategy Proofs in ELAN (HK, IG), pp. 93–120.
WRLAWRLA-2000-Ringeissen #finite #rule-based
Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.
RTARTA-2000-Moreau #compilation
REM (Reduce Elan Machine): Core of the New ELAN Compiler (PEM), pp. 265–269.
WRLAWRLA-1998-BorovanskyC #constraints #process #theorem proving #using
Cooperation of constraint solvers: using the new process control facilities of ELAN (PB, CC), pp. 1–20.
WRLAWRLA-1998-BorovanskyJMR #source code
Handling ELAN rewrite programs via an exchange format (PB, SJ, PEM, CR), p. 173.
WRLAWRLA-1998-BorovanskyKKMR #bibliography
An overview of ELAN (PB, CK, HK, PEM, CR), pp. 55–70.
FLOPSFLOPS-1998-BorovanskyKK #functional #semantics
A Functional View of Rewriting and Strategies for a Semantics of ELAN (PB, CK, HK), pp. 143–166.
ASF+SDFASF+SDF-1997-BorovanskyK #partial evaluation
Strategies of ELAN: meta-interpretation and partial evaluation (PB, HK), p. 2.
ASF+SDFASF+SDF-1997-BorovanskyKK #logic #specification
Rewriting as a unified specification tool for logic and control: the ELAN language (PB, CK, HK), p. 3.
RTARTA-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.
WRLARWLW-1996-BorovanskyKKMV #framework #logic #named
ELAN: A logical framework based on computational systems (PB, CK, HK, PEM, MV), pp. 35–50.
A reflective extension of ELAN (HK, PEM), pp. 149–168.
Input/Output for ELAN (PV), pp. 51–64.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.