×

zbMATH — the first resource for mathematics

Input/output for ELAN. (English) Zbl 0912.68093
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, 14 p. (1996).
Summary: We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite specification of \(\pi\)-calculus. This I/O system has the advantage of being totally explicit and fit in the same semantic framework than any other “application program”. An actual implementation shows the effectiveness of this approach.
For the entire collection see [Zbl 0903.00068].

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