×

zbMATH — the first resource for mathematics

ELAN: A logical framework based on computational systems. (English) Zbl 0912.68091
Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 16 p. (1996).
Summary: Elan implements computational systems, a concept that combines rewriting logic with the powerful description of rewriting strategies. Elan can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule based processes. We present the general features of the language and outline some of the applications it has been used for.
For the entire collection see [Zbl 0903.00068].

MSC:
68Q42 Grammars and rewriting systems
68T27 Logic in artificial intelligence
Keywords:
rewriting logic
Software:
ELAN
PDF BibTeX XML Cite
Full Text: Link