Jungle Evaluation

  title={Jungle Evaluation},
  author={Annegret Habel and Hans-J{\"o}rg Kreowski and Detlef Plump},
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… CONTINUE READING
16 Citations
15 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 15 references

Kreowski : Is Parallelism Already Concurrency ?Part 1 : Derivations in Graph Grammars

  • H.-J.
  • Proc . 3 rd Graph Grammar Workshop , Leet . Not…
  • 1987

Sleep: Term Graph Reduction. University of East-Anglia and University of Nijmegen

  • H. P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glanert, J. R. Kennaway, M.R.M.J. Plasmeijer
  • Proc. PARLE Conference on Parallel Architectures…
  • 1987

Dschungel: Ein neuer Graph-Grammatik-Ansatz zur e~zienten Auswertung rekursiv definierter Funktionen

  • D. Plump Ira
  • 1986

Ma~r: Fundamentals of Algebraic Specifications. Part D Initial Semantics. Springer, Monographs in Computer Science, New York-Berlin-Heidelberg

  • B. H. Ehrig
  • Commutativity of Independent Transformations on…
  • 1986

Rosen : Commutativity of Independent Transformations on Complex Objects

  • K. B.
  • 1986

Staples : Computation on Graphlike Expressions

  • J.
  • Theor . Comp . Sei .
  • 1986

Plump : Ira Dschungel : Ein neuer GraphGrammatikAnsatz zur e ~ zienten Auswertung rekursiv definierter Funktionen

  • D.
  • 1982

Similar Papers

Loading similar papers…