Implementing term rewriting by jungle evaluation

Article Properties
Cite
Hoffmann, Berthold, and Detlef Plump. “Implementing Term Rewriting by Jungle Evaluation”. RAIRO - Theoretical Informatics and Applications, vol. 25, no. 5, 1991, pp. 445-72, https://doi.org/10.1051/ita/1991250504451.
Hoffmann, B., & Plump, D. (1991). Implementing term rewriting by jungle evaluation. RAIRO - Theoretical Informatics and Applications, 25(5), 445-472. https://doi.org/10.1051/ita/1991250504451
Hoffmann B, Plump D. Implementing term rewriting by jungle evaluation. RAIRO - Theoretical Informatics and Applications. 1991;25(5):445-72.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Technology
Technology (General)
Industrial engineering
Management engineering
Applied mathematics
Quantitative methods
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Computation on graph-like expressions Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 19 1980
On graph rewritings Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 28 1984
Graph grammars and operational semantics Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 4 1982
10.1007/BFb0032044
10.1007/3-540-50667-5_71
Citations
Title Journal Journal Categories Citations Publication Date
Semantics-Preserving DPO-Based Term Graph Rewriting Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2019
The generative power of delegation networks Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2015
Symbol different term rewrite systems Journal of Logical and Algebraic Methods in Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2015
A Simple Parallel Implementation of Interaction Nets in Haskell Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2015
Towards “mouldable code” via nested code graph transformation Journal of Logical and Algebraic Methods in Programming
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2014
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science10
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software6
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware6
Science: Mathematics2
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 10 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Implementing β-Reduction by Hypergraph Rewriting and was published in 1995. The most recent citation comes from a 2019 study titled Semantics-Preserving DPO-Based Term Graph Rewriting. This article reached its peak citation in 2015, with 3 citations. It has been cited in 7 different journals, 14% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 4 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year