Implementing term rewriting by jungle evaluation
RAIRO-Theor. Inf. Appl., 25 5 (1991) 445-472
Published online: 2017-02-01
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Graph Transformation
Ira Fesefeldt, Christoph Matheja, Thomas Noll and Johannes SchulteLecture Notes in Computer Science, Graph Transformation 12741 283 (2021)
https://doi.org/10.1007/978-3-030-78946-6_15
11563 103 (2019)
https://doi.org/10.1007/978-3-030-23220-7_6
Semantics-Preserving DPO-Based Term Graph Rewriting
Wolfram Kahl and Yuhang ZhaoElectronic Proceedings in Theoretical Computer Science 288 26 (2019)
https://doi.org/10.4204/EPTCS.288.3
Graph Transformation, Specifications, and Nets
Detlef PlumpLecture Notes in Computer Science, Graph Transformation, Specifications, and Nets 10800 231 (2018)
https://doi.org/10.1007/978-3-319-75396-6_13
Symbol different term rewrite systems
Sándor VágvölgyiJournal of Logical and Algebraic Methods in Programming 84 (5) 551 (2015)
https://doi.org/10.1016/j.jlamp.2015.06.005
A Simple Parallel Implementation of Interaction Nets in Haskell
Wolfram KahlElectronic Proceedings in Theoretical Computer Science 179 33 (2015)
https://doi.org/10.4204/EPTCS.179.3
The generative power of delegation networks
Frank Drewes and Joost EngelfrietInformation and Computation 245 213 (2015)
https://doi.org/10.1016/j.ic.2015.04.005
Towards “mouldable code” via nested code graph transformation
Wolfram KahlJournal of Logical and Algebraic Methods in Programming 83 (2) 225 (2014)
https://doi.org/10.1016/j.jlap.2014.02.010
Graph Transformations
Traian Florin Şerbănuţă and Grigore RoşuLecture Notes in Computer Science, Graph Transformations 7562 294 (2012)
https://doi.org/10.1007/978-3-642-33654-6_20
Dependently-Typed Formalisation of Typed Term Graphs
Wolfram KahlElectronic Proceedings in Theoretical Computer Science 48 38 (2011)
https://doi.org/10.4204/EPTCS.48.6
Term Graph Rewriting and Parallel Term Rewriting
Andrea Corradini and Frank DrewesElectronic Proceedings in Theoretical Computer Science 48 3 (2011)
https://doi.org/10.4204/EPTCS.48.3
Rewriting Techniques and Applications
Emilie Balland and Pierre-Etienne MoreauLecture Notes in Computer Science, Rewriting Techniques and Applications 5117 32 (2008)
https://doi.org/10.1007/978-3-540-70590-1_3
Perspectives of Systems Informatics
Sergei Abramov, Robert Glück and Yuri KlimovLecture Notes in Computer Science, Perspectives of Systems Informatics 4378 27 (2007)
https://doi.org/10.1007/978-3-540-70881-0_6
On Term Graphs as an Adhesive Category
Andrea Corradini and Fabio GadducciElectronic Notes in Theoretical Computer Science 127 (5) 43 (2005)
https://doi.org/10.1016/j.entcs.2005.02.014
An Abstract Concept of Optimal Implementation
Zurab Khasidashvili and John GlauertElectronic Notes in Theoretical Computer Science 86 (4) 689 (2003)
https://doi.org/10.1016/S1571-0661(05)82618-0
Essentials of Term Graph Rewriting
Detlef PlumpElectronic Notes in Theoretical Computer Science 51 277 (2002)
https://doi.org/10.1016/S1571-0661(04)80210-X
Programs as Data Objects
Jens Peter SecherLecture Notes in Computer Science, Programs as Data Objects 2053 198 (2001)
https://doi.org/10.1007/3-540-44978-7_12
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
Andrea Corradini and Fabio GadducciApplied Categorical Structures 7 (4) 299 (1999)
https://doi.org/10.1023/A:1008647417502
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
Andrea Corradini and Fabio GadducciRAIRO - Theoretical Informatics and Applications 33 (4-5) 467 (1999)
https://doi.org/10.1051/ita:1999128
Graph transformation for specification and programming
Marc Andries, Gregor Engels, Annegret Habel, et al.Science of Computer Programming 34 (1) 1 (1999)
https://doi.org/10.1016/S0167-6423(98)00023-9
Mathematical Foundations of Computer Science 1997
Detlef PlumpLecture Notes in Computer Science, Mathematical Foundations of Computer Science 1997 1295 458 (1997)
https://doi.org/10.1007/BFb0029989
Informatik ’97 Informatik als Innovationsmotor
Andrea Mößle and Heiko VoglerInformatik aktuell, Informatik ’97 Informatik als Innovationsmotor 572 (1997)
https://doi.org/10.1007/978-3-642-60831-5_77
Handbook of Formal Languages
Matthias JantzenHandbook of Formal Languages 269 (1997)
https://doi.org/10.1007/978-3-642-59126-6_5
Term graph narrowing
Annegret Habel and Detlef PlumpMathematical Structures in Computer Science 6 (6) 649 (1996)
https://doi.org/10.1017/S0960129500070122
Graph-Theoretic Concepts in Computer Science
Detlef PlumpLecture Notes in Computer Science, Graph-Theoretic Concepts in Computer Science 1017 88 (1995)
https://doi.org/10.1007/3-540-60618-1_68
Implementing β-Reduction by Hypergraph Rewriting
Sabine KuskeElectronic Notes in Theoretical Computer Science 2 191 (1995)
https://doi.org/10.1016/S1571-0661(05)80196-3
Graph Transformations in Computer Science
Martin KorffLecture Notes in Computer Science, Graph Transformations in Computer Science 776 234 (1994)
https://doi.org/10.1007/3-540-57787-4_15
Graph Transformations in Computer Science
Andrea Corradini and Dietmar WolzLecture Notes in Computer Science, Graph Transformations in Computer Science 776 119 (1994)
https://doi.org/10.1007/3-540-57787-4_8
Mathematical Foundations of Computer Science 1994
Detlef PlumpLecture Notes in Computer Science, Mathematical Foundations of Computer Science 1994 841 556 (1994)
https://doi.org/10.1007/3-540-58338-6_102
Conditional Term Rewriting Systems
Detlef PlumpLecture Notes in Computer Science, Conditional Term Rewriting Systems 656 97 (1993)
https://doi.org/10.1007/3-540-56393-8_7
Rewriting Techniques and Applications
Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem KlopLecture Notes in Computer Science, Rewriting Techniques and Applications 690 468 (1993)
https://doi.org/10.1007/978-3-662-21551-7_39
690 468 (1993)
https://doi.org/10.1007/3-540-56868-9_39
TAPSOFT'93: Theory and Practice of Software Development
Andrea CorradiniLecture Notes in Computer Science, TAPSOFT'93: Theory and Practice of Software Development 668 468 (1993)
https://doi.org/10.1007/3-540-56610-4_83
Algebraic and Logic Programming
Berthold HoffmannLecture Notes in Computer Science, Algebraic and Logic Programming 632 128 (1992)
https://doi.org/10.1007/BFb0013824
Programming Language Implementation and Logic Programming
Stefan KahrsLecture Notes in Computer Science, Programming Language Implementation and Logic Programming 631 115 (1992)
https://doi.org/10.1007/3-540-55844-6_131