Copyright © 1996 Published by Elsevier Science B.V.
Transitive term graph rewriting
Received 5 March 1996;
revised 24 September 1996.
Communicated by C. Morgan
Available online 16 February 1999.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
A version of generalised term graph rewriting is presented in which redirections are interpreted transitively. It is shown that the new semantics enjoy enhanced properties regarding ease of implementation on distributed machines compared with conventional semantics because of the Church-Rosser properties of transitive redirections. Furthermore, the good properties of orthogonal systems are largely retained.
Author Keywords: Distributed computing; Programming languages; Term graph rewriting; Transitive redirections; Packet store rewriting; DACTL; MONSTR







E-mail Article
Add to my Quick Links

Cited By in Scopus (1)





