Implementing term rewriting by jungle evaluation
Open Access
- 1 January 1991
- journal article
- research article
- Published by EDP Sciences in RAIRO - Theoretical Informatics and Applications
- Vol. 25 (5) , 445-472
- https://doi.org/10.1051/ita/1991250504451
Abstract
RAIRO - Theoretical Informatics and Applications, an international journal on theoretical computer science and its applicationsKeywords
This publication has 10 references indexed in Scilit:
- Term rewriting systems from Church-Rosser to Knuth-Bendix and beyondPublished by Springer Nature ,2005
- Aspects of concurrency in graph grammarsPublished by Springer Nature ,2005
- Introduction to the algebraic theory of graph grammars (a survey)Published by Springer Nature ,2005
- Jungle evaluation for efficient term rewritingPublished by Springer Nature ,1988
- Jungle evaluationPublished by Springer Nature ,1988
- Term graph rewritingPublished by Springer Nature ,1987
- On graph rewritingsTheoretical Computer Science, 1984
- Graph grammars and operational semanticsTheoretical Computer Science, 1982
- Computation on graph-like expressionsTheoretical Computer Science, 1980
- Proving termination with multiset orderingsCommunications of the ACM, 1979