scholarly journals On the adequacy of graph rewriting for simulating term rewriting

1994 ◽  
Vol 16 (3) ◽  
pp. 493-523 ◽  
Author(s):  
J. R. Kennaway ◽  
J. W. Klop ◽  
M. R. Sleep ◽  
F. J. de Vries
Keyword(s):  
Term Rewriting ◽  
Graph Rewriting

Jungle Evaluation

1991 ◽  
Vol 15 (1) ◽  
pp. 37-60
Author(s):  
Annegret Habel ◽  
Hans-Jörg Kreowski ◽  
Detlef Plump
Keyword(s):  
Term Rewriting ◽  
Bipartite Graphs ◽  
Graph Grammar ◽  
Graph Rewriting ◽  
Structural Induction ◽  
Rewrite Rules ◽  
The Rich

Jungle evaluation is proposed as a new graph rewriting approach to the evaluation of functional expressions and, in particular, of algebraically specified operations. Jungles – being intuitively forests of coalesced trees with shared substructures – are certain acyclic hypergraphs (or equivalently, bipartite graphs) the nodes and edges of which are labeled with the sorts and operation symbols of a signature. Jungles are manipulated and evaluated by the application of jungle rewrite rules, which generalize equations or, more exactly, term rewrite rules. Indeed, jungle evaluation turns out to be a compromise between term rewriting and graph rewriting displaying some favorable properties: the inefficiency of term rewriting is partly avoided while the possibility of structural induction is maintained, and a good part of the existing graph grammar theory is applicable so that there is some hope that the rich theory of term rewriting is not lost forever without a substitute.

Term graph narrowing

1996 ◽  
Vol 6 (6) ◽  
pp. 649-676 ◽  
Author(s):  
Annegret Habel ◽  
Detlef Plump
Keyword(s):  
General Solution ◽  
Order Term ◽  
Term Rewriting ◽  
Term Rewriting Systems ◽  
Graph Rewriting ◽  
First Order ◽  
Improve Efficiency ◽  
Rewriting Systems ◽  
Solving Equations

We introduce term graph narrowing as an approach for solving equations by transformations on term graphs. Term graph narrowing combines term graph rewriting with first-order term unification. Our main result is that this mechanism is complete for all term rewriting systems over which term graph rewriting is normalizing and confluent. This includes, in particular, all convergent term rewriting systems. Completeness means that for every solution of a given equation, term graph narrowing can find a more general solution. The general motivation for using term graphs instead of terms is to improve efficiency: sharing common subterms saves space and avoids the repetition of computations.

Convergence in infinitary term graph rewriting systems is simple

2018 ◽  
Vol 28 (8) ◽  
pp. 1363-1414
Author(s):  
PATRICK BAHR
Keyword(s):  
Term Rewriting ◽  
Unified Framework ◽  
Lazy Evaluation ◽  
Efficient Manner ◽  
Graph Rewriting ◽  
Rewriting Systems ◽  
Finite Term ◽  
Natural Generalisation ◽  
Graph Rewriting Systems ◽  
Ideal Completion

Term graph rewriting provides a formalism for implementing term rewriting in an efficient manner by emulating duplication via sharing. Infinitary term rewriting has been introduced to study infinite term reduction sequences. Such infinite reductions can be used to model non-strict evaluation. In this paper, we unify term graph rewriting and infinitary term rewriting thereby addressing both components of lazy evaluation: non-strictness and sharing. In contrast to previous attempts to formalise infinitary term graph rewriting, our approach is based on a simple and natural generalisation of the modes of convergence of infinitary term rewriting. We show that this new approach is better suited for infinitary term graph rewriting as it is simpler and more general. The latter is demonstrated by the fact that our notions of convergence give rise to two independent canonical and exhaustive constructions of infinite term graphs from finite term graphs via metric and ideal completion. In addition, we show that our notions of convergence on term graphs are sound w.r.t. the ones employed in infinitary term rewriting in the sense that convergence is preserved by unravelling term graphs to terms. Moreover, the resulting infinitary term graph calculi provide a unified framework for both infinitary term rewriting and term graph rewriting, which makes it possible to study the correspondences between these two worlds more closely.

scholarly journals Term Graph Rewriting and Parallel Term Rewriting

2011 ◽  
Vol 48 ◽  
pp. 3-18 ◽  
Author(s):  
Andrea Corradini ◽  
Frank Drewes
Keyword(s):  
Term Rewriting ◽  
Graph Rewriting

scholarly journals Strategic port graph rewriting: an interactive modelling framework

2018 ◽  
Vol 29 (5) ◽  
pp. 615-662 ◽  
Author(s):  
MARIBEL FERNÁNDEZ ◽  
HÉLÈNE KIRCHNER ◽  
BRUNO PINAUD
Keyword(s):  
Complex Systems ◽  
Graph Transformation ◽  
Formal Semantics ◽  
General Setting ◽  
Term Rewriting ◽  
Graph Rewriting ◽  
Modelling Framework ◽  
Initial Graph ◽  
Rewrite Rules ◽  
Interactive Modelling

We present strategic port graph rewriting as a basis for the implementation of visual modelling tools. The goal is to facilitate the specification and programming tasks associated with the modelling of complex systems. A system is represented by an initial graph and a collection of graph rewrite rules, together with a user-defined strategy to control the application of rules. The traditional operators found in strategy languages for term rewriting have been adapted to deal with the more general setting of graph rewriting, and some new constructs have been included in the strategy language to deal with graph traversal and management of rewriting positions in the graph. We give a formal semantics for the language, and describe its implementation: the graph transformation and visualisation tool Porgy.

Sign in / Sign up

Export Citation Format

Share Document